%0 Conference Paper %1 conf/atal/VelasquezAB0A22 %A Velasquez, Alvaro %A Alkhouri, Ismail %A Beckus, Andre %A Trivedi, Ashutosh %A Atia, George K. %B AAMAS %D 2022 %E Faliszewski, Piotr %E Mascardi, Viviana %E Pelachaud, Catherine %E Taylor, Matthew E. %I International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) %K dblp %P 1310-1318 %T Controller Synthesis for Omega-Regular and Steady-State Specifications. %U http://dblp.uni-trier.de/db/conf/atal/aamas2022.html#VelasquezAB0A22 %@ 978-1-4503-9213-6

@inproceedings{conf/atal/VelasquezAB0A22, added-at = {2022-07-18T00:00:00.000+0200}, author = {Velasquez, Alvaro and Alkhouri, Ismail and Beckus, Andre and Trivedi, Ashutosh and Atia, George K.}, biburl = {https://www.bibsonomy.org/bibtex/21c6c0fd623966ad8d024945be0d357e5/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2022}, editor = {Faliszewski, Piotr and Mascardi, Viviana and Pelachaud, Catherine and Taylor, Matthew E.}, ee = {https://dl.acm.org/doi/10.5555/3535850.3535996}, interhash = {03df506da008674a78f0206c472f61b4}, intrahash = {1c6c0fd623966ad8d024945be0d357e5}, isbn = {978-1-4503-9213-6}, keywords = {dblp}, pages = {1310-1318}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)}, timestamp = {2024-04-10T02:26:36.000+0200}, title = {Controller Synthesis for Omega-Regular and Steady-State Specifications.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2022.html#VelasquezAB0A22}, year = 2022 }