Cover Image

LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Zeyu, Luan, Hao, Goyal, Pranav, Soh, Harold
Format:	Preprint
Published:	2024
Subjects:	Robotics Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Tasks
by: Feng, Zeyu, et al.
Published: (2024)

Imitation Learning with Limited Actions via Diffusion Planners and Deep Koopman Controllers
by: Bi, Jianxin, et al.
Published: (2024)

Don't Start from Scratch: Behavioral Refinement via Interpolant-based Policy Diffusion
by: Chen, Kaiqi, et al.
Published: (2024)

SocRATES: Towards Automated Scenario-based Testing of Social Navigation Algorithms
by: Marpally, Shashank Rao, et al.
Published: (2024)

Fisher-Preserving Guidance: Training-Free Manifold Constraints for Safe Diffusion Control
by: Ren, Hao, et al.
Published: (2026)

VLA-Touch: Enhancing Vision-Language-Action Models with Dual-Level Tactile Feedback
by: Bi, Jianxin, et al.
Published: (2025)

Large Language Models as Zero-Shot Human Models for Human-Robot Interaction
by: Zhang, Bowen, et al.
Published: (2023)

Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications
by: Liu, Puze, et al.
Published: (2024)

Discrete-Guided Diffusion for Scalable and Safe Multi-Robot Motion Planning
by: Liang, Jinhao, et al.
Published: (2025)

Diffusion-based Planning with Learned Viability Filters
by: Ioannidis, Nicholas, et al.
Published: (2025)

ActSafe: Active Exploration with Safety Constraints for Reinforcement Learning
by: As, Yarden, et al.
Published: (2024)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

CGD: Constraint-Guided Diffusion Policies for UAV Trajectory Planning
by: Kondo, Kota, et al.
Published: (2024)

Sketch-Plan-Generalize: Learning and Planning with Neuro-Symbolic Programmatic Representations for Inductive Spatial Concepts
by: Kalithasan, Namasivayam, et al.
Published: (2024)

Safe Multi-Agent Navigation guided by Goal-Conditioned Safe Reinforcement Learning
by: Feng, Meng, et al.
Published: (2025)

IKDiffuser: a Diffusion-based Generative Inverse Kinematics Solver for Kinematic Trees
by: Zhang, Zeyu, et al.
Published: (2025)

Spatial-Temporal Graph Diffusion Policy with Kinematic Modeling for Bimanual Robotic Manipulation
by: Lv, Qi, et al.
Published: (2025)

Think Small, Plan Smart: Minimalist Symbolic Abstraction and Heuristic Subspace Search for LLM-Guided Task Planning
by: Tang, Junfeng, et al.
Published: (2025)

Physics-informed Neural Motion Planning on Constraint Manifolds
by: Ni, Ruiqi, et al.
Published: (2024)

Leveraging Temporally Extended Behavior Sharing for Multi-task Reinforcement Learning
by: Lee, Gawon, et al.
Published: (2025)

Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
by: Yüksel, Sadık Bera, et al.
Published: (2026)

Constraint-Aware Diffusion Models for Trajectory Optimization
by: Li, Anjian, et al.
Published: (2024)

Coloring Between the Lines: Personalization in the Null Space of Planning Constraints
by: Silver, Tom, et al.
Published: (2025)

AnySafe: Adapting Latent Safety Filters at Runtime via Safety Constraint Parameterization in the Latent Space
by: Agrawal, Sankalp, et al.
Published: (2025)

Aligning Diffusion Model with Problem Constraints for Trajectory Optimization
by: Li, Anjian, et al.
Published: (2025)

Safe Offline Reinforcement Learning with Real-Time Budget Constraints
by: Lin, Qian, et al.
Published: (2023)

Extendable Planning via Multiscale Diffusion
by: Chen, Chang, et al.
Published: (2025)

Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
by: Aktas, Hakan, et al.
Published: (2024)

Cascaded Diffusion Models for Neural Motion Planning
by: Sharma, Mohit, et al.
Published: (2025)

SOMTP: Self-Supervised Learning-Based Optimizer for MPC-Based Safe Trajectory Planning Problems in Robotics
by: Liu, Yifan, et al.
Published: (2024)

TD-M(PC)$^2$: Improving Temporal Difference MPC Through Policy Constraint
by: Lin, Haotian, et al.
Published: (2025)

Discovering Predictive Relational Object Symbols with Symbolic Attentive Layers
by: Ahmetoglu, Alper, et al.
Published: (2023)

Physics-informed Temporal Difference Metric Learning for Robot Motion Planning
by: Ni, Ruiqi, et al.
Published: (2025)

Learning Maximal Safe Sets Using Hypernetworks for MPC-based Local Trajectory Planning in Unknown Environments
by: Derajić, Bojan, et al.
Published: (2024)

Diffusion Predictive Control with Constraints
by: Römer, Ralf, et al.
Published: (2024)

A Real-Time Neuro-Symbolic Ethical Governor for Safe Decision Control in Autonomous Robotic Manipulation
by: Aueawatthanaphisut, Aueaphum, et al.
Published: (2026)

Sum of Costs Diffusion with Dynamic Guidance for Motion Planning
by: Kaplan, Aysu Aylin, et al.
Published: (2026)

Coarse-to-Fine Compositional Diffusion for Long-Horizon Planning
by: Park, Byoungwoo, et al.
Published: (2026)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
by: Cornelio, Cristina, et al.
Published: (2025)

Long and Short-Term Constraints Driven Safe Reinforcement Learning for Autonomous Driving
by: Hu, Xuemin, et al.
Published: (2024)