@article(DBLP:journals/apin/AbateGHHKNPSW21,
 author       = {Alessandro Abate and Julian Gutierrez and Lewis Hammond and Paul Harrenstein and Marta Kwiatkowska and Muhammad Najib and Giuseppe Perelli and Thomas Steeples and Michael~J. Wooldridge},
 year         = {2021},
 title        = {Rational verification: game-theoretic verification of multi-agent systems},
 journal      = {Appl. Intell.},
 volume       = {51},
 number       = {9},
 pages        = {6569--6584},
 doi          = {10.1007/s10489-021-02658-y},
)
@inproceedings(DBLP:conf/birthday/AlechinaL20,
 author       = {Natasha Alechina and Brian Logan},
 year         = {2020},
 title        = {State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems},
 editor       = {Andreas Blass and Patrick C{\'{e}}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner},
 booktitle    = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {12180},
 publisher    = {Springer},
 pages        = {9--29},
 doi          = {10.1007/978-3-030-48006-6_2},
)
@article(BACCHUS2000123,
 author       = {Fahiem Bacchus and Froduald Kabanza},
 year         = {2000},
 title        = {Using temporal logics to express search control knowledge for planning},
 journal      = {Artificial Intelligence},
 volume       = {116},
 number       = {1},
 pages        = {123--191},
 doi          = {10.1016/S0004-3702(99)00071-5},
)
@inproceedings(DBLP:conf/kr/BienvenuFM06,
 author       = {Meghyn Bienvenu and Christian Fritz and Sheila~A. McIlraith},
 year         = {2006},
 title        = {Planning with Qualitative Temporal Preferences},
 editor       = {Patrick Doherty and John Mylopoulos and Christopher~A. Welty},
 booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006},
 publisher    = {{AAAI} Press},
 pages        = {134--144},
)
@inproceedings(DBLP:journals/corr/abs-1303-0789,
 author       = {Nils Bulling and Valentin Goranko},
 year         = {2013},
 title        = {How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)},
 editor       = {Fabio Mogavero and Aniello Murano and Moshe~Y. Vardi},
 booktitle    = {Proceedings 1st International Workshop on Strategic Reasoning, {SR} 2013, Rome, Italy, March 16-17, 2013},
 series       = {{EPTCS}},
 volume       = {112},
 pages        = {33--41},
 doi          = {10.4204/EPTCS.112.8},
)
@incollection(CIMATTI2008841,
 author       = {Alessandro Cimatti and Marco Pistore and Paolo Traverso},
 year         = {2008},
 title        = {Chapter 22 Automated Planning},
 editor       = {{van Harmelen}, Frank and Vladimir Lifschitz and Bruce Porter},
 booktitle    = {Handbook of Knowledge Representation},
 series       = {Foundations of Artificial Intelligence},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {841--867},
 doi          = {10.1016/S1574-6526(07)03022-2},
)
@inproceedings(DBLP:conf/atal/ConduracheDOT21,
 author       = {Rodica Condurache and Catalin Dima and Youssouf Oualhadj and Nicolas Troquard},
 year         = {2021},
 title        = {Rational Synthesis in the Commons with Careless and Careful Agents},
 editor       = {Frank Dignum and Alessio Lomuscio and Ulle Endriss and Ann Now{\'{e}}},
 booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
 publisher    = {{ACM}},
 pages        = {368--376},
 doi          = {10.5555/3463952.3464000},
)
@inproceedings(CFGR16,
 author       = {Rodica Condurache and Emmanuel Filiot and Raffaella Gentilini and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2016},
 title        = {The Complexity of Rational Synthesis},
 booktitle    = {43rd International Colloquium on Automata, Languages, and Programming, {ICALP} 2016, July 11-15, 2016, Rome, Italy},
 pages        = {121:1--121:15},
 doi          = {10.4230/LIPIcs.ICALP.2016.121},
)
@article(Doherty_Kvarnstram_2001,
 author       = {Patrick Doherty and Jonas Kvarnstram},
 year         = {2001},
 title        = {TALplanner: A Temporal Logic-Based Planner},
 journal      = {AI Magazine},
 volume       = {22},
 number       = {3},
 pages        = {95--102},
 doi          = {10.1609/aimag.v22i3.1581},
)
@incollection(Farwer2002,
 author       = {Berndt Farwer},
 year         = {2002},
 title        = {$\omega$-Automata},
 editor       = {Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke},
 booktitle    = {Automata Logics, and Infinite Games: A Guide to Current Research},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {3--21},
 doi          = {10.1007/3-540-36387-4_1},
)
@inproceedings(FKL10,
 author       = {Dana Fisman and Orna Kupferman and Yoad Lustig},
 year         = {2010},
 title        = {Rational Synthesis},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
 pages        = {190--204},
 doi          = {10.1007/978-3-642-12002-2_16},
)
@inproceedings(KuSh22,
 author       = {Orna Kupferman and Noam Shenwald},
 year         = {2022},
 title        = {The Complexity of LTL Rational Synthesis},
 editor       = {Dana Fisman and Grigore Rosu},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {25--45},
 doi          = {10.1007/978-3-030-99524-9_2},
)
@article(Minsky,
 author       = {Marvin~L. Minsky},
 year         = {1961},
 title        = {Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines},
 journal      = {Annals of Mathematics},
 volume       = {74},
 number       = {3},
 pages        = {437--455},
 doi          = {10.2307/1970290},
)
@article(Nash51,
 author       = {John~F. Nash},
 year         = {1951},
 title        = {{Non-Cooperative Games}},
 journal      = {The Annals of Mathematics},
 volume       = {54},
 pages        = {286--295},
 doi          = {10.2307/1969529},
)
@article(DBLP:journals/logcom/NguyenALR18,
 author       = {Hoang~Nga Nguyen and Natasha Alechina and Brian Logan and Abdur Rakib},
 year         = {2018},
 title        = {Alternating-time temporal logic with resource bounds},
 journal      = {J. Log. Comput.},
 volume       = {28},
 number       = {4},
 pages        = {631--663},
 doi          = {10.1093/logcom/exv034},
)
@inproceedings(DBLP:conf/focs/Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(PR89,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of a Reactive Module},
 booktitle    = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@inproceedings(ummels08,
 author       = {Michael Ummels},
 year         = {2008},
 title        = {The Complexity of Nash Equilibria in Infinite Multiplayer Games},
 editor       = {Roberto Amadio},
 booktitle    = {Foundations of Software Science and Computational Structures},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {20--34},
 doi          = {10.1007/978-3-540-78499-9_3},
)