9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Javier Borquez, Kensuke Nakamura, Somil Bansal
Hamilton-Jacobi (HJ) reachability analysis is a powerful tool for analyzing the safety of autonomous systems. However, the provided safety assurances are often predicated on the as…