(2005):
An Architectural Blueprint for Autonomic Computing.
White Paper.
IBM.
Ankit Agrawal & Jane Cleland-Huang (2021):
Explaining Autonomous Decisions in Swarms of Human-on-the-Loop Small Unmanned Aerial Systems.
In: Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 9,
pp. 15–26.
Available at https://ojs.aaai.org/index.php/HCOMP/article/view/18936.
Astrid Rakow Akhila Bairy, Willem Hagemann & Maike Schwammberger (2022):
Towards formal concepts for explanation timing and justifications.
In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
Rajeev Alur & David L. Dill (1994):
A Theory of Timed Automata.
Theoretical Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
Sule Anjomshoae, Amro Najjar, Davide Calvaresi & Kary Främling (2019):
Explainable agents and robots: Results from a systematic literature review.
In: 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, May 13–17, 2019.
International Foundation for Autonomous Agents and Multiagent Systems,
pp. 1078–1088,
doi:10.5555/3306127.3331806.
Christopher Bischopink & Maike Schwammberger (2019):
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.
In: Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro & David Delmas: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I,
Lecture Notes in Computer Science 12232.
Springer,
pp. 249–264,
doi:10.1007/978-3-030-54994-7_18.
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang & Andreas Wortmann (2019):
Towards Self-Explainable Cyber-Physical Systems.
In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion,
pp. 543–548,
doi:10.1109/MODELS-C.2019.00084.
Francisco Javier Chiyah Garcia, David A. Robb, Xingkun Liu, Atanas Laskov, Pedro Patron & Helen Hastie (2018):
Explainable Autonomy: A Study of Explanation Styles for Building Clear Mental Models.
In: Proceedings of the 11th International Conference on Natural Language Generation.
Association for Computational Linguistics,
Tilburg University, The Netherlands,
pp. 99–108,
doi:10.18653/v1/W18-6511.
Available at https://www.aclweb.org/anthology/W18-6511.
Jeremy Dick, M. Elizabeth C. Hull & Ken Jackson (2017):
Requirements Engineering, 4th Edition.
Springer,
doi:10.1007/978-3-319-61073-3.
Marie Farrell, Matt Luckcuck, Oisín Sheridan & Rosemary Monahan (2022):
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
In: Vincenzo Gervasi & Andreas Vogelsang: Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings,
Lecture Notes in Computer Science 13216.
Springer,
pp. 96–111,
doi:10.1007/978-3-030-98464-9_9.
Randy Goebel, Ajay Chander, Katharina Holzinger, Freddy Lecue, Zeynep Akata, Simone Stumpf, Peter Kieseberg & Andreas Holzinger (2018):
Explainable AI: the new 42?.
In: International cross-domain conference for machine learning and knowledge extraction.
Springer,
pp. 295–303,
doi:10.1007/978-3-319-99740-7_21.
Martin Fränzle Goerschwin Fey & Rolf Drechsler (2022):
Self-Explanation in Systems of Systems.
In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
Joel Greenyer, Malte Lochau & Thomas Vogel (2019):
Explainable software for cyber-physical systems (es4cps): Report from the gi dagstuhl seminar 19023, january 06-11 2019, schloss dagstuhl.
arXiv:1904.11851,
doi:10.48550/arXiv.1904.11851.
Andreas Holzinger, Anna Saranti, Christoph Molnar, Przemyslaw Biecek & Wojciech Samek (2020):
Explainable AI Methods - A Brief Overview.
In: Andreas Holzinger, Randy Goebel, Ruth Fong, Taesup Moon, Klaus-Robert Müller & Wojciech Samek: xxAI - Beyond Explainable AI - International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers,
Lecture Notes in Computer Science 13200.
Springer,
pp. 13–38,
doi:10.1007/978-3-031-04083-2_2.
Louise Dennis Joe Collenette & Michael Fisher (2022):
Advising Autonomous Cars about the Rules of the Road.
In: Proceedings of the Fourth Workshop on Formal Methods for Autonomous Systems, FMAS@SEFM'22, 26th-27th of September 2022,
EPTCS.
Jeamin Koo, Jungsuk Kwac, Wendy Ju, Martin Steinert, Larry Leifer & Clifford Nass (2015):
Why did my car just do that? Explaining semi-autonomous driving actions to improve driver understanding, trust, and performance.
International Journal on Interactive Design and Manufacturing (IJIDeM) 9(4),
pp. 269–275,
doi:10.1007/s12008-014-0227-2.
Douglas S. Krull & Craig A. Anderson (1997):
The Process of Explanation.
Current Directions in Psychological Science 6(1),
pp. 1–5,
doi:10.1111/1467-8721.ep11512447.
Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith & Dimitri Bohlender (2019):
Explainability as a Non-Functional Requirement.
In: 2019 IEEE 27th International Requirements Engineering Conference (RE),
pp. 363–368,
doi:10.1109/RE.2019.00046.
Brian Y. Lim, Anind K. Dey & Daniel Avrahami (2009):
Why and Why Not Explanations Improve the Intelligibility of Context-Aware Intelligent Systems.
In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems,
CHI '09.
Association for Computing Machinery,
New York, NY, USA,
pp. 2119–2128,
doi:10.1145/1518701.1519023.
Aarne Ranta (2011):
Translating between Language and Logic: What Is Easy and What Is Difficult.
In: Nikolaj Bjørner & Viorica Sofronie-Stokkermans: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings,
Lecture Notes in Computer Science 6803.
Springer,
pp. 5–25,
doi:10.1007/978-3-642-22438-6_3.
Mersedeh Sadeghi, Verena Klös & Andreas Vogelsang (2021):
Cases for Explainable Software Systems: Characteristics and Examples.
In: IEEE 29th International Requirements Engineering Conference Workshops (REW),
pp. 181–187,
doi:10.1109/REW53955.2021.00033.
Maike Schwammberger (2018):
An abstract model for proving safety of autonomous urban traffic.
Theoretical Computer Science 744,
pp. 143–169,
doi:10.1016/j.tcs.2018.05.028.
Maike Schwammberger (2021):
A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres.
In: 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW),
pp. 195–199,
doi:10.1109/REW53955.2021.00035.
Mark Weiser (1981):
Program Slicing.
In: Proceedings of the 5th International Conference on Software Engineering,
ICSE '81.
IEEE Press,
pp. 439–449,
doi:10.1109/TSE.1984.5010248.
Danny Weyns, Jesper Andersson, Mauro Caporuscio, Francesco Flammini, Andreas Kerren & Welf Löwe (2021):
A Research Agenda for Smarter Cyber-Physical Systems.
J. Integr. Des. Process Sci. 25(2),
pp. 27–47,
doi:10.3233/JID210010.
Florian Ziesche, Verena Klös & Sabine Glesner (2021):
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems.
In: Design, Automation Test in Europe Conference Exhibition (DATE),
pp. 1304–1309,
doi:10.23919/DATE51398.2021.9474232.
eptcs@eptcs.org