Skip to content

EdmundLuan/ltldog

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Paper License: MIT [Project page]

Zeyu Feng1, Hao Luan1, Pranav Goyal1, Harold Soh1,2

1Department of Computer Science, School of Computing, National University of Singapore, 2Smart Systems Institute, National University of Singapore

This repository contains the implementation of the diffusion-based planning method under $\textnormal{LTL}_f$ constraints proposed in the RA-L paper LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning.

If you find this repo or the ideas presented in our paper useful for your research, please consider citing our paper.

@ARTICLE{10637680,
  author={Feng, Zeyu and Luan, Hao and Goyal, Pranav and Soh, Harold},
  journal={IEEE Robotics and Automation Letters}, 
  title={{LTLDoG}: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning}, 
  year={2024},
  volume={9},
  number={10},
  pages={8571-8578},
  doi={10.1109/LRA.2024.3443501}}

📢 Introduction

Operating effectively in complex environments while complying with specified constraints is crucial for the safe and successful deployment of robots that interact with and operate around people. In this work, we focus on generating long-horizon trajectories that adhere to novel static and temporally-extended constraints/instructions at test time. We propose a data-driven diffusion-based framework, LTLDoG, that modifies the inference steps of the reverse process given an instruction specified using finite linear temporal logic ($\textnormal{LTL}_f$). LTLDoG leverages a satisfaction value function on $\textnormal{LTL}_f$ and guides the sampling steps using its gradient field. This value function can also be trained to generalize to new instructions not observed during training, enabling flexible test-time adaptability. Experiments in robot navigation and manipulation illustrate that the method is able to generate trajectories that satisfy formulae that specify obstacle avoidance and visitation sequences.

🔨 Usage

For training and testing on Maze2d and PushT tasks, please see specific instructions in the folders Maze2d and PushT, respectively.

In order to download our augmented dataset of trajectories in PushT task, go to: PushT_GoogleDrive.

📄 Appendix

This repository also contains the appendix of paper LTLDoG.

🏷️ License

This repository is released under the MIT license. See LICENSE for additional details.

🙏 Acknowledgement

  • Our Maze2d implementation is based on Diffuser.
  • Our PushT implementation is based on Diffusion Policy.
  • Our differentiable temporal logic evaluation is based on DTL.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Jupyter Notebook 65.2%
  • Python 34.8%