2.23.21-AI-Fan

• Video details

  The introduction of machine learning (ML) and artificial intelligence (AI) creates unprecedented opportunities for achieving full autonomy. However, learning-based methods in building autonomous systems can and do fail, due to poor quality data, modeling errors, the coupling with other agents, and the complex interaction with human and computer systems in modern operational environments. In this talk, I will present several of our recent efforts that address this challenge and advance the use of AI and ML techniques to enable the design of provably dependable and safe autonomous systems. The topics I am going to cover are 1. How to generate safety certificates for complex autonomous systems; 2 How to learn certified safe decision and control; and 3. How to build certified correct simulators.

Locked Interactive transcript