%Aigaion2 BibTeX export from Idiap Publications %Saturday 21 December 2024 05:00:21 PM @INPROCEEDINGS{Matoba_ML4Eng_2020, author = {Matoba, Kyle and Fleuret, Francois}, projects = {Idiap}, month = nov, title = {Exact Preimages of Neural Network Aircraft Collision Avoidance Systems}, booktitle = {Machine Learning for Engineering Modeling, Simulation, and Design Workshop at Neural Information Processing Systems 2020}, year = {2020}, pdf = {https://publications.idiap.ch/attachments/papers/2021/Matoba_ML4Eng_2020.pdf} }