Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi 0001, George K. Atia. Controller Synthesis for Omega-Regular and Steady-State Specifications. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor, editors, 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022. pages 1310-1318, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022. [doi]
Abstract is missing.