LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning
We develop a safe planning method for trajectory generation by sampling from diffusion model under different LTLf constraints.
Zeyu Feng
Safety-Constrained Policy Transfer with Successor Features
Transfer source policies to a target reinforcement learning task with safety constraints using Successor Features.