Search papers, labs, and topics across Lattice.
Department of Electrical and Computer Engineering, Northeastern University, Boston, MA, USA, 02115 ({muenprasitivej.k, d.aksaray}@northeastern.edu)
1
0
2
2
Neural approximations of Hamilton-Jacobi reachability can now be formally certified for safety, enabling provably safe robot navigation in unknown environments.
