ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2106.02951
  4. Cited By
Controller Synthesis for Omega-Regular and Steady-State Specifications
v1v2 (latest)

Controller Synthesis for Omega-Regular and Steady-State Specifications

Adaptive Agents and Multi-Agent Systems (AAMAS), 2021
5 June 2021
Alvaro Velasquez
Ismail Alkhouri
Andre Beckus
Ashutosh Trivedi
George Atia
ArXiv (abs)PDFHTML

Papers citing "Controller Synthesis for Omega-Regular and Steady-State Specifications"

1 / 1 papers shown
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL
  and steady-state constraints
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraintsInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2023
Severin Bals
Alexandros Evangelidis
Jan Křetínský
Jakob Waibel
173
2
0
26 May 2023
1
Page 1 of 1