ASSET Seminar: Building certifiably safe and correct large-scale autonomy, Chuchu Fan (Massachusetts Institute of Technology)
Levine 307 3330 Walnut Street, Philadelphia, PA, United StatesABSTRACT: 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 be extremely brittle in practice and are not designed to be verifiable. In this talk, I will present several of our recent efforts that combine ML with formal methods […]