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]
@inproceedings{MaierhoferRMA20,
title = {Formalization of Interstate Traffic Rules in Temporal Logic},
author = {Sebastian Maierhofer and Anna-Katharina Rettinger and Eva Charlotte Mayer and Matthias Althoff},
year = {2020},
doi = {10.1109/IV47402.2020.9304549},
url = {https://doi.org/10.1109/IV47402.2020.9304549},
researchr = {https://researchr.org/publication/MaierhoferRMA20},
cites = {0},
citedby = {0},
pages = {752-759},
booktitle = {IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6673-5},
}