TY  - RPRT
TI  - Controller Synthesis for Omega-Regular and Steady-State Specifications
AU  - Alvaro Velasquez
AU  - Ismail Alkhouri
AU  - Andre Beckus
AU  - Ashutosh Trivedi
AU  - George Atia
PY  - 2022
UR  - https://arxiv.org/abs/2106.02951
ID  - 2106.02951
ER  -