TY  - RPRT
TI  - LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning
AU  - Zeyu Feng
AU  - Hao Luan
AU  - Pranav Goyal
AU  - Harold Soh
PY  - 2024
DO  - 10.1109/lra.2024.3443501
UR  - https://arxiv.org/abs/2405.04235
ID  - 2405.04235
ER  -