LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning
| Title: | LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning |
|---|---|
| Authors: | Feng, Z.; Luan, H.; Goyal, P.; Soh, H. |
| Source: | IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(10):8571-8578 Oct, 2024 |
| Database: | IEEE Xplore Digital Library |