Matthias Althoff, John M. Dolan. Set-based computation of vehicle behaviors for the online verification of autonomous vehicles. In 14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, DC, USA, October 5-7, 2011. pages 1162-1167, IEEE, 2011. [doi]
@inproceedings{AlthoffD11,
title = {Set-based computation of vehicle behaviors for the online verification of autonomous vehicles},
author = {Matthias Althoff and John M. Dolan},
year = {2011},
doi = {10.1109/ITSC.2011.6083052},
url = {http://dx.doi.org/10.1109/ITSC.2011.6083052},
researchr = {https://researchr.org/publication/AlthoffD11},
cites = {0},
citedby = {0},
pages = {1162-1167},
booktitle = {14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, DC, USA, October 5-7, 2011},
publisher = {IEEE},
isbn = {978-1-4577-2198-4},
}