Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff. Formalization of Interstate Traffic Rules in Temporal Logic. In IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020. pages 752-759, IEEE, 2020. [doi]
Abstract is missing.