Search papers, labs, and topics across Lattice.
1
0
2
5
Prioritizing safety specs in robot motion planning doesn't have to be a computational nightmare: this work shows how to do it efficiently by cleverly reformulating the problem.
