Qin Lin, Sicco Verwer, John M. Dolan. Safety Verification of a Data-driven Adaptive Cruise Controller. In IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020. pages 2146-2151, IEEE, 2020. [doi]
@inproceedings{LinVD20, title = {Safety Verification of a Data-driven Adaptive Cruise Controller}, author = {Qin Lin and Sicco Verwer and John M. Dolan}, year = {2020}, doi = {10.1109/IV47402.2020.9304710}, url = {https://doi.org/10.1109/IV47402.2020.9304710}, researchr = {https://researchr.org/publication/LinVD20}, cites = {0}, citedby = {0}, pages = {2146-2151}, booktitle = {IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020}, publisher = {IEEE}, isbn = {978-1-7281-6673-5}, }