Versenden
Drucken
Westhofen, Lukas und Schallau, Till und Schmid, Dominik und Naujokat, Stefan und Howar, Falk und Neider, Daniel (2026) Test Coverage of Automated Robotic Systems in Open World Environments. In: 27th International Symposium on Formal Methods, FM 2026, 16556. Springer Nature Switzerland. International Symposium on Formal Methods, 2026-05-18 - 2026-05-22, Tokyo, Japan. doi: 10.1007/978-3-032-26204-2. ISBN 978-303226219-6. ISSN 0302-9743.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
| elib-URL des Eintrags: | https://elib.dlr.de/224822/ | ||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||||||
| Titel: | Test Coverage of Automated Robotic Systems in Open World Environments | ||||||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||||||
| Datum: | 18 Mai 2026 | ||||||||||||||||||||||||||||
| Erschienen in: | 27th International Symposium on Formal Methods, FM 2026 | ||||||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||||||
| Band: | 16556 | ||||||||||||||||||||||||||||
| DOI: | 10.1007/978-3-032-26204-2 | ||||||||||||||||||||||||||||
| Verlag: | Springer Nature Switzerland | ||||||||||||||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||||||||||||||
| ISBN: | 978-303226219-6 | ||||||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||||||
| Stichwörter: | Testing, Robotics, Safety, Automated Driving, Scenario Coverage, Temporal Logics | ||||||||||||||||||||||||||||
| Veranstaltungstitel: | International Symposium on Formal Methods | ||||||||||||||||||||||||||||
| Veranstaltungsort: | Tokyo, Japan | ||||||||||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||||||||||
| Veranstaltungsbeginn: | 18 Mai 2026 | ||||||||||||||||||||||||||||
| Veranstaltungsende: | 22 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, 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 | ||||||||||||||||||||||||||||
| Hinterlegt von: | Westhofen, M.Sc. Lukas | ||||||||||||||||||||||||||||
| Hinterlegt am: | 20 Jul 2026 09:50 | ||||||||||||||||||||||||||||
| Letzte Änderung: | 20 Jul 2026 09:50 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
