Felix Gruber, Matthias Althoff. Anytime Safety Verification of Autonomous Vehicles. In Wei-Bin Zhang, Alexandre M. Bayen, Javier J. Sánchez Medina, Matthew J. Barth, editors, 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. pages 1708-1714, IEEE, 2018. [doi]
@inproceedings{GruberA18, title = {Anytime Safety Verification of Autonomous Vehicles}, author = {Felix Gruber and Matthias Althoff}, year = {2018}, doi = {10.1109/ITSC.2018.8569950}, url = {https://doi.org/10.1109/ITSC.2018.8569950}, researchr = {https://researchr.org/publication/GruberA18}, cites = {0}, citedby = {0}, pages = {1708-1714}, booktitle = {21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018}, editor = {Wei-Bin Zhang and Alexandre M. Bayen and Javier J. Sánchez Medina and Matthew J. Barth}, publisher = {IEEE}, isbn = {978-1-7281-0323-5}, }