دورية أكاديمية
LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning
العنوان: | LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning |
---|---|
المؤلفون: | Feng, Z., Luan, H., Goyal, P., Soh, H. |
المصدر: | IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(10):8571-8578 Oct, 2024 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 23773766 23773774 |
---|---|
DOI: | 10.1109/LRA.2024.3443501 |