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.
We have released the code for DeepReach. You can check it out here.