Search papers, labs, and topics across Lattice.
1
0
2
2
By separating logical reasoning from trajectory realization, DAG-STL enables zero-shot generalization in STL planning, outperforming direct diffusion-based approaches and even recovering performance comparable to model-based optimization with significantly reduced computation.
