LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning This repository contains the appendix of paper LTLDoG. In order to download our augmented dataset of trajectories in PushT task, go to: PushT_GoogleDrive.