63 citations · 74 across the 9 of their papers we have counts for
1 paper · 2 filters
Minh Bui, Michael Lu, Reza Hojabr +2
Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with…