LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning
IEEE Robotics and Automation Letters, 2024
Recommended citation: Z. Feng*, H. Luan*, P. Goyal and H. Soh, "LTLDoG: Satisfying temporally-extended symbolic constraints for safe diffusion-based planning," IEEE Robotics and Automation Letters, vol. 9, no. 10, pp. 8571-8578, 2024, doi: 10.1109/LRA.2024.3443501. https://doi.org/10.1109/LRA.2024.3443501
* indicates co-first authorship.
- Preprint with full appendix on arXiv at arxiv.org/abs/2405.04235.
- PDF here
- Codes and dataset released at CLeAR-NUS GitHub repo.