Benutzer: Gast  Login
Titel:

Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles

Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Klischat, Moritz; Althoff, Matthias
Seitenangaben Beitrag:
2065-2072
Abstract:
Virtual testing plays an important role in the validation and verification of automated vehicles. State-of-the-art approaches first generate a huge amount of test scenarios through simulations or test drives, which are later filtered to obtain relevant scenarios for a given set of specifications. However, only few works exist on synthesizing scenarios directly from specifications. In this work, we present an optimization-based approach to synthesize scenarios only from formal specifications and...     »
Kongress- / Buchtitel:
Proc. of the IEEE Intelligent Vehicles Symposium
Jahr:
2020
Quartal:
3. Quartal
Reviewed:
ja
Volltext / DOI:
doi:https://doi.org/10.1109/IV47402.2020.9304617
Format:
Text
 BibTeX