Search papers, labs, and topics across Lattice.
1
0
2
By verifying high-level symbolic plans with learned continuous dynamics, this neuro-symbolic planner achieves the speed of symbolic methods with the reliability of continuous planning.
