Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff. Formalization of Intersection Traffic Rules in Temporal Logic. In 2022 IEEE Intelligent Vehicles Symposium, IV 2022, Aachen, Germany, June 4-9, 2022. pages 1135-1144, IEEE, 2022. [doi]
Abstract is missing.