%0 Conference Paper %1 conf/vstte/GeninPBYMKWS21 %A Genin, Daniel %A Papusha, Ivan %A Brulé, Joshua %A Young, Tyler A. %A Mullins, Galen E. %A Kouskoulas, Yanni %A Wu, Rosa %A Schmidt, Aurora C. %B VSTTE %D 2021 %E Bloem, Roderick %E Dimitrova, Rayna %E Fan, Chuchu %E Sharygina, Natasha %I Springer %K dblp %P 147-164 %T Formal Verification of Neural Network Controllers for Collision-Free Flight. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#GeninPBYMKWS21 %V 13124 %@ 978-3-030-95561-8

@inproceedings{conf/vstte/GeninPBYMKWS21, added-at = {2023-06-23T00:00:00.000+0200}, author = {Genin, Daniel and Papusha, Ivan and Brulé, Joshua and Young, Tyler A. and Mullins, Galen E. and Kouskoulas, Yanni and Wu, Rosa and Schmidt, Aurora C.}, biburl = {https://www.bibsonomy.org/bibtex/2b6549f290198db2c126726396a46228d/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2021}, editor = {Bloem, Roderick and Dimitrova, Rayna and Fan, Chuchu and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-030-95561-8_9}, interhash = {91151de40cd8e052ee05ab8f158785dc}, intrahash = {b6549f290198db2c126726396a46228d}, isbn = {978-3-030-95561-8}, keywords = {dblp}, pages = {147-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Formal Verification of Neural Network Controllers for Collision-Free Flight.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2021.html#GeninPBYMKWS21}, volume = 13124, year = 2021 }