• somilban AT usc DOT edu

  • EEB 228
    Los Angeles CA 90089-2564


September 2022

New paper on providing safety guarantees for DeepReach. The scalability of DeepReach along with the proposed verification algorithm allows us to compute high-confidence safe sets for high-dimensional systems.

New paper on quickly updating safety assurances for an autonomous system online as the system or the environment factors change.

April 2021

We have released the code for DeepReach. You can check it out here.