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)
3
0
4
14
Guaranteeing robot safety and task completion just got easier: this method enforces complex temporal logic constraints on pre-trained robotics models without any fine-tuning.
Guaranteeing complex mission objectives in RL is now tractable: this method enforces Signal Temporal Logic constraints, enabling robots to learn while adhering to dynamic, time-sensitive tasks.
Neural approximations of Hamilton-Jacobi reachability can now be formally certified for safety, enabling provably safe robot navigation in unknown environments.
