ASSET Seminar: Building certifiably safe and correct large-scale autonomy, Chuchu Fan (Massachusetts Institute of Technology)
/
Levine 307
3330 Walnut Street, Philadelphia, PA, United States
ABSTRACT: 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 […]

