%Aigaion2 BibTeX export from Idiap Publications
%Saturday 06 December 2025 12:57:25 AM

@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}
}