References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org