CONF Matoba_ML4Eng_2020/IDIAP Exact Preimages of Neural Network Aircraft Collision Avoidance Systems Matoba, Kyle Fleuret, Francois EXTERNAL https://publications.idiap.ch/attachments/papers/2021/Matoba_ML4Eng_2020.pdf PUBLIC Machine Learning for Engineering Modeling, Simulation, and Design Workshop at Neural Information Processing Systems 2020 2020