%Aigaion2 BibTeX export from Idiap Publications %Thursday 21 November 2024 11:46:45 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} }