Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control

Sun, Xiaowu, Haitham Khedr, and Yasser Shoukry. (2019). Formal verification of neural network controlled autonomous systems. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 147-156.