User: Guest  Login
Title:

Formalization of Intersection Traffic Rules in Temporal Logic

Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
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...     »
Keywords:
autonomous driving; traffic rules; motion planning
Book / Congress title:
Proc. of the IEEE Intelligent Vehicles Symposium
Year:
2022
Pages:
1135-1144
Fulltext / DOI:
doi:10.1109/IV51971.2022.9827153
 BibTeX