Presentation Abstract:  Designing autonomous systems that are simultaneously high-performing, adaptive, and provably safe remains an open problem.  In this talk, we will argue that in order to meet this goal, […]