Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff. Ensuring drivability of planned motions using formal methods. In 20th IEEE International Conference on Intelligent Transportation Systems, ITSC 2017, Yokohama, Japan, October 16-19, 2017. pages 1-8, IEEE, 2017. [doi]
@inproceedings{SchurmannHESKA17,
title = {Ensuring drivability of planned motions using formal methods},
author = {Bastian Schürmann and Daniel Hess and Jan Eilbrecht and Olaf Stursberg and Frank Köster and Matthias Althoff},
year = {2017},
doi = {10.1109/ITSC.2017.8317647},
url = {https://doi.org/10.1109/ITSC.2017.8317647},
researchr = {https://researchr.org/publication/SchurmannHESKA17},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {20th IEEE International Conference on Intelligent Transportation Systems, ITSC 2017, Yokohama, Japan, October 16-19, 2017},
publisher = {IEEE},
isbn = {978-1-5386-1526-3},
}