Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2106.02951
Cited By
v1
v2 (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
Re-assign community
ArXiv (abs)
PDF
HTML
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
International 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