Search papers, labs, and topics across Lattice.
1
0
3
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.
