323 citations · 353 across the 15 of their papers we have counts for
1 paper · 1 filter
Hongrui Zheng, Zirui Zang, Ahmad Amine +2
Signal Temporal Logic (STL) enables formal specification of complex spatiotemporal constraints for robotic task planning. However, synthesizing long-horizon continuous control traj…