Grundt, Dominik und Saxena, Ishan und Petersen, Malte und Westphal, Bernd und Möhlmann, Eike (2025) Context-aware, Ante-hoc Explanations of Driving Behaviour. In: Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, 436 (11). Electronic Proceedings in Theoretical Computer Science. Seventh International Workshop on Formal Methods for Autonomous Systems (2025), 2025-11-17 - 2025-11-19, Paris, Frankreich. doi: 10.4204/EPTCS.436.11.
|
PDF
1MB |
Offizielle URL: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.11
Kurzfassung
Autonomous vehicles (AVs) must be both safe and trustworthy to gain social acceptance and become a viable option for everyday public transportation. Explanations about the system behaviour can increase safety and trust in AVs. Unfortunately, explaining the system behaviour of AI-based driving functions is particularly challenging, as decision-making processes are often opaque. The field of Explainability Engineering tackles this challenge by developing explanation models at design time. These models are designed from system design artefacts and stakeholder needs to develop correct and good explanations. To support this field, we propose an approach that enables context-aware, ante-hoc explanations of (un)expectable driving manoeuvres at runtime. The visual yet formal language Traffic Sequence Charts is used to formalise explanation contexts, as well as corresponding (un)expectable driving manoeuvres. A dedicated runtime monitoring enables context-recognition and ante-hoc presentation of explanations at runtime. In combination, we aim to support the bridging of correct and good explanations. Our method is demonstrated in a simulated overtaking.
| elib-URL des Eintrags: | https://elib.dlr.de/219320/ | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||
| Titel: | Context-aware, Ante-hoc Explanations of Driving Behaviour | ||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||
| Datum: | 17 November 2025 | ||||||||||||||||||||||||
| Erschienen in: | Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems | ||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||
| Band: | 436 | ||||||||||||||||||||||||
| DOI: | 10.4204/EPTCS.436.11 | ||||||||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||||||||
| Verlag: | Electronic Proceedings in Theoretical Computer Science | ||||||||||||||||||||||||
| Name der Reihe: | EPTCS 436 | ||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||
| Stichwörter: | Explainability Engineering, Context-aware Explanation, Ante-hoc Explanation, Formal Modelling | ||||||||||||||||||||||||
| Veranstaltungstitel: | Seventh International Workshop on Formal Methods for Autonomous Systems (2025) | ||||||||||||||||||||||||
| Veranstaltungsort: | Paris, Frankreich | ||||||||||||||||||||||||
| Veranstaltungsart: | Workshop | ||||||||||||||||||||||||
| Veranstaltungsbeginn: | 17 November 2025 | ||||||||||||||||||||||||
| Veranstaltungsende: | 19 November 2025 | ||||||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||||||||||
| Standort: | Oldenburg | ||||||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > Systems Theory and Design Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation | ||||||||||||||||||||||||
| Hinterlegt von: | Grundt, Dominik | ||||||||||||||||||||||||
| Hinterlegt am: | 26 Nov 2025 06:09 | ||||||||||||||||||||||||
| Letzte Änderung: | 26 Nov 2025 06:09 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags