1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Albert Lin, Somil Bansal
Providing formal safety and performance guarantees for autonomous systems is becoming increasingly important. Hamilton-Jacobi (HJ) reachability analysis is a popular formal verific…