Level SetsReach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints [slides]
Hybrid Systems: Computation and Control (HSCC)
Seattle, WA, USA, 2015

 

Improved Guarantees for Safe Learning under Modeling Errors [slides]

Robotics: Science and Systems (RSS)
Berkeley, CA, USA, 2014