Ivanov, Radoslav, Carpenter, Taylor J., Weimer, James, Alur, Rajeev, Pappas, George J., and Lee, Insup. Case study: verifying the safety of an autonomous racing car with a neural network controller. Retrieved from https://par.nsf.gov/biblio/10170887. HSCC'20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control . Web. doi:10.1145/3365365.3382216.

Ivanov, Radoslav, Carpenter, Taylor J., Weimer, James, Alur, Rajeev, Pappas, George J., & Lee, Insup. Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC'20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control, (). Retrieved from https://par.nsf.gov/biblio/10170887. https://doi.org/10.1145/3365365.3382216

Ivanov, Radoslav, Carpenter, Taylor J., Weimer, James, Alur, Rajeev, Pappas, George J., and Lee, Insup. "Case study: verifying the safety of an autonomous racing car with a neural network controller". HSCC'20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control (). Country unknown/Code not available. https://doi.org/10.1145/3365365.3382216. https://par.nsf.gov/biblio/10170887.

@article{osti_10170887,
place = {Country unknown/Code not available}, title = {Case study: verifying the safety of an autonomous racing car with a neural network controller}, url = {https://par.nsf.gov/biblio/10170887}, DOI = {10.1145/3365365.3382216}, abstractNote = {}, journal = {HSCC'20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control}, author = {Ivanov, Radoslav and Carpenter, Taylor J. and Weimer, James and Alur, Rajeev and Pappas, George J. and Lee, Insup}, }