@article(ATL,
 author       = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-Time Temporal Logic},
 journal      = {J. ACM},
 volume       = {49},
 number       = {5},
 pages        = {672–713},
 doi          = {10.1145/585265.585270},
)
@inproceedings(ComGame,
 author       = {Guillaume Aucher and Bastien Maubert and Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber},
 year         = {2015},
 title        = {Games with Communication: From Belief to Preference Change},
 booktitle    = {PRIMA 2015: Principles and Practice of Multi-Agent Systems},
 publisher    = {Springer},
 pages        = {670--677},
 doi          = {10.1007/978-3-319-25524-8\_50},
)
@inbook(PrinciplesOfMC,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 chapter      = {5},
 pages        = {229--239},
 publisher    = {The MIT Press},
)
@article(CTLKMC,
 author       = {Mario Benevides and Carla Delgado and Carlos Pombo and Luis Lopes and Ricardo Ribeiro},
 year         = {2008},
 title        = {A Compositional Automata-based Approach for Model Checking Multi-Agent Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {195},
 pages        = {133--149},
 doi          = {10.1016/j.entcs.2007.08.030},
 note         = {Proc. of the Brazilian Symposium on Formal Methods (SBMF 2006)},
)
@inproceedings(GIntroDEL,
 author       = {Thomas Bolander},
 year         = {2017},
 title        = {A Gentle Introduction to Epistemic Planning: The {DEL} Approach},
 booktitle    = {Proc. of the 9th Workshop on Methods for Modalities, M4M@ICLA 2017},
 series       = {{EPTCS}},
 volume       = {243},
 pages        = {1--22},
 doi          = {10.4204/EPTCS.243.1},
)
@inproceedings(HyperCTL,
 author       = {Laura Bozzelli and Bastien Maubert and Sophie Pinchinat},
 year         = {2015},
 title        = {Unifying Hyper and Epistemic Temporal Logics},
 booktitle    = {Foundations of Software Science and Computation Structures},
 publisher    = {Springer},
 pages        = {167--182},
 doi          = {10.1007/978-3-662-46678-0\_11},
)
@book(MC,
 author       = {Edmund M Clarke and Orna Grumberg and Doron A. Peled},
 year         = {1999},
 title        = {Model checking},
 publisher    = {MIT Press},
 doi          = {10.1002/9780470050118.ecse247},
)
@inproceedings(DF11,
 author       = {Werner Damm and Bernd Finkbeiner},
 year         = {2011},
 title        = {Does It Pay to Extend the Perimeter of a World Model?},
 booktitle    = {FM 2011: Formal Methods},
 publisher    = {Springer},
 pages        = {12--26},
 doi          = {10.1007/978-3-642-21437-0\_4},
)
@misc(Collins,
 author       = {Collins English Dictionary},
 year         = {2022},
 title        = {doxastic},
 url          = {www.collinsdictionary.com/de/worterbuch/englisch/doxastic},
)
@misc(CollinsEpi,
 author       = {Collins English Dictionary},
 year         = {2022},
 title        = {epistemics},
 url          = {www.collinsdictionary.com/de/worterbuch/englisch/epistemics},
)
@book(reasoningA,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {2003},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(EpistemicsLogics,
 author       = {Paolo Galeazzi and Emiliano Lorini},
 year         = {2016},
 title        = {Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces},
 journal      = {Synthese},
 volume       = {193},
 number       = {7},
 pages        = {2097--2127},
 doi          = {10.1007/s11229-015-0834-x},
)
@inbook(BelRevIntro,
 author       = {Peter Gärdenfors},
 year         = {1992},
 title        = {Belief Revision},
 chapter      = {Belief Revision: An Introduction},
 pages        = {1--28},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511526664.001},
)
@article(Autonomics,
 author       = {David Harel and Assaf Marron and Joseph Sifakis},
 year         = {2020},
 title        = {Autonomics: In search of a foundation for next-generation autonomous systems},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {117},
 number       = {30},
 pages        = {17491--17498},
 doi          = {10.1073/pnas.2003162117},
)
@inproceedings(ATEL,
 author       = {Wiebe van der Hoek and Michael Wooldridge},
 year         = {2002},
 title        = {Tractable Multiagent Planning for Epistemic Goals},
 booktitle    = {Proc. of the 1st Int. Joint Conference on Autonomous Agents and Multiagent Systems: Part 3},
 series       = {AAMAS '02},
 publisher    = {Association for Computing Machinery},
 pages        = {1167–1174},
 doi          = {10.1145/545056.545095},
)
@book(IntelAdSys,
 author       = {Ming Hou and Simon Banbury and Catherine Burns},
 year         = {2014},
 title        = {Intelligent Adaptive Systems: An Interaction-Centered Design Perspective},
 publisher    = {CRC Press},
 doi          = {10.1201/b17742},
)
@misc(Uber18,
 author       = {Timothy B. Lee},
 title        = {Self-driving cars -- How terrible software design decisions led to Uber's deadly 2018 crash},
 url          = {arstechnica.com/cars/2019/11/how-terrible-software-design-decisions-led-to-ubers-deadly-2018-crash},
)
@article(DELStrat,
 author       = {Bastien Maubert and Aniello Murano and Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber and Silvia Stranieri},
 year         = {2020},
 title        = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
 journal      = {CoRR},
 volume       = {abs/2001.07141},
 doi          = {10.3233/FAIA200088},
)
@incollection(DoxasticMeyer2003,
 author       = {John-Jules Ch. Meyer},
 year         = {2003},
 title        = {Modal Epistemic and Doxastic Logic},
 booktitle    = {Handbook of Philosophical Logic},
 publisher    = {Springer},
 pages        = {1--38},
 doi          = {10.1007/978-94-017-4524-6\_1},
)
@article(accidents2020,
 author       = {Dorde Petrovic and Radomir Mijailovic and Dalibor Pesic},
 year         = {2020},
 title        = {Traffic Accidents with Autonomous Vehicles: Type of Collisions, Manoeuvres and Errors of Conventional Vehicles’ Drivers},
 journal      = {Transport Infrastructure and systems in a changing world. Towards a more sustainable, reliable and smarter mobility. TIS Roma 2019 Conference Proceedings},
 volume       = {45},
 pages        = {161--168},
 doi          = {10.1016/j.trpro.2020.03.003},
)
@article(LTLSynth,
 author       = {A. Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the synthesis of a reactive module},
 journal      = {Automata Languages and Programming},
 volume       = {372},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@article(BDI,
 author       = {Anand S. Rao and Michael P. Georgeff},
 year         = {1998},
 title        = {{Decision Procedures for BDI Logics}},
 journal      = {Journal of Logic and Computation},
 volume       = {8},
 number       = {3},
 pages        = {293--343},
 doi          = {10.1093/logcom/8.3.293},
)
@inproceedings(HCPS,
 author       = {David Romero and Peter Bernus and Ovidiu Noran and Johan Stahre and Fast-Berglund, {\r A}sa},
 year         = {2016},
 title        = {The Operator 4.0: Human Cyber-Physical Systems {\&} Adaptive Automation Towards Human-Automation Symbiosis Work Systems},
 booktitle    = {Advances in Production Management Systems. Initiatives for a Sustainable World},
 publisher    = {Springer},
 pages        = {677--686},
 doi          = {10.1007/978-3-319-51133-7\_80},
)
@misc(Sheffield,
 author       = {The University of Sheffield},
 year         = {2021},
 title        = {{Epistemology}},
 url          = {www.sheffield.ac.uk/philosophy/research/themes/epistemology},
)
@article(motion,
 author       = {Mingyu Wang and Zijian Wang and John Talbot and J. Christian Gerdes and Mac Schwager},
 year         = {2021},
 title        = {Game-Theoretic Planning for Self-Driving Cars in Multivehicle Competitive Scenarios},
 journal      = {IEEE Transactions on Robotics},
 volume       = {37},
 number       = {4},
 pages        = {1313--1325},
 doi          = {10.1109/TRO.2020.3047521},
)
@inproceedings(Autonomous,
 author       = {Yingxu Wang and Konstantinos N. Plataniotis and Sam Kwong and Henry Leung and Svetlana Yanushkevich and Fakhri Karray and Ming Hou and Newton Howard and Rodolfo A. Fiorini and Paolo Soda and Edward Tunstel and Jianmin Wang and Shushma Patel},
 year         = {2019},
 title        = {On Autonomous Systems: From Reflexive, Imperative and Adaptive Intelligence to Autonomous and Cognitive Intelligence},
 booktitle    = {2019 IEEE 18th International Conference on Cognitive Informatics \& Cognitive Computing},
 pages        = {7--12},
 doi          = {10.1109/ICCICC46617.2019.9146038},
)
@article(AutoWat,
 author       = {David Watson and David Scheidt},
 year         = {2005},
 title        = {Autonomous systems},
 journal      = {Johns Hopkins APL Technical Digest (Applied Physics Laboratory)},
 volume       = {26},
 pages        = {368--376},
 url          = {www.jhuapl.edu/Content/techdigest/pdf/V26-N04/26-04-Watson.pdf},
)