Versenden
Drucken
Saxena, Ishan und Grundt, Dominik und Möhlmann, Eike und Westphal, Bernd (2026) Abstract Traffic Scenario Specifications for Improving Safety and Trustworthiness of AI-based Mobility Systems. In: Formal Requirements Engineering and Artificial Intelligence (RE×AI) @ NASA Formal Methods Symposium (NFM) 2026. Formal Requirements Engineering and Artificial Intelligence (RE×AI), 2026-05-04, Los Angeles, California, USA. doi: 10.5281/zenodo.20345589.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
191kB |
|
PDF
- Nur DLR-intern zugänglich
858kB |
Offizielle URL: https://nfm2026.github.io/workshop/
| elib-URL des Eintrags: | https://elib.dlr.de/224329/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | Abstract Traffic Scenario Specifications for Improving Safety and Trustworthiness of AI-based Mobility Systems | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 4 Mai 2026 | ||||||||||||||||||||
| Erschienen in: | Formal Requirements Engineering and Artificial Intelligence (RE×AI) @ NASA Formal Methods Symposium (NFM) 2026 | ||||||||||||||||||||
| Referierte Publikation: | Nein | ||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||
| DOI: | 10.5281/zenodo.20345589 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Abstract Scenario Specifications, Traffic Situations, Traffic Scenarios, Novelty, Plausibility, Anomaly, Out-of-Distribution, Explanations, Runtime Monitoring, AI-based driving systems | ||||||||||||||||||||
| Veranstaltungstitel: | Formal Requirements Engineering and Artificial Intelligence (RE×AI) | ||||||||||||||||||||
| Veranstaltungsort: | Los Angeles, California, USA | ||||||||||||||||||||
| Veranstaltungsart: | Workshop | ||||||||||||||||||||
| Veranstaltungsdatum: | 4 Mai 2026 | ||||||||||||||||||||
| 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&V4Transformation | ||||||||||||||||||||
| Standort: | Oldenburg | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität | ||||||||||||||||||||
| Hinterlegt von: | Saxena, Ishan | ||||||||||||||||||||
| Hinterlegt am: | 01 Jun 2026 06:06 | ||||||||||||||||||||
| Letzte Änderung: | 01 Jun 2026 06:06 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
