Dec. 2018: Our paper titled ” Formal Verification of Neural Network Controlled Autonomous Systems” is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC), 2019.
Dec. 2018: Our paper titled ” Formal Verification of Neural Network Controlled Autonomous Systems” is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC), 2019.