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]
@inproceedings{VelasquezAB0A22,
title = {Controller Synthesis for Omega-Regular and Steady-State Specifications},
author = {Alvaro Velasquez and Ismail Alkhouri and Andre Beckus and Ashutosh Trivedi 0001 and George K. Atia},
year = {2022},
url = {https://dl.acm.org/doi/10.5555/3535850.3535996},
researchr = {https://researchr.org/publication/VelasquezAB0A22},
cites = {0},
citedby = {0},
pages = {1310-1318},
booktitle = {21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022},
editor = {Piotr Faliszewski and Viviana Mascardi and Catherine Pelachaud and Matthew E. Taylor},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)},
isbn = {978-1-4503-9213-6},
}