Benutzer: Gast  Login
Titel:

Formalization of Intersection Traffic Rules in Temporal Logic

Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Maierhofer, Sebastian; Moosbrugger, Paul; Althoff, Matthias
Abstract:
Intersections are difficult to navigate for both human drivers and autonomous vehicles because several diverse traffic rules must be considered. In addition, current traffic rules are ambiguous and cannot be applied directly by autonomous vehicles. Therefore, national traffic rules must be concretized and formalized so that they are machine-interpretable. We present formalized intersection traffic rules in temporal logic and use the German traffic regulations as a concrete example. Our form...     »
Stichworte:
autonomous driving; traffic rules; motion planning
Kongress- / Buchtitel:
Proc. of the IEEE Intelligent Vehicles Symposium
Jahr:
2022
Seiten:
1135-1144
Volltext / DOI:
doi:10.1109/IV51971.2022.9827153
 BibTeX