LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning.
Zeyu FengHao LuanPranav GoyalHarold SohPublished in: CoRR (2024)
Keyphrases
- temporally extended
- decision theoretic planning
- temporal logic
- classical planning
- qualitative simulation
- temporal aspects
- planning problems
- markov decision processes
- temporally extended goals
- heuristic search
- domain independent
- ai planning
- high level
- constraint programming
- model checking
- general purpose
- natural language
- multimedia