Talk
Formal Synthesis of Neural Controllers for Autonomous Systems
Safe controller synthesis is essential for safety-critical cyber-physical systems. With the development of machine learning, there are considerable research efforts in the application of neural networks for control of cyber-physical systems. However, providing formal safety guarantee of the neural network based controllers is in question. This talk summarizes our recent efforts in formal synthesis of neural controllers for learning-enabled systems.