angmavrogiannis / Cook2LTL
Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task planning.
☆16Updated 6 months ago
Alternatives and similar repositories for Cook2LTL
Users that are interested in Cook2LTL are comparing it to the libraries listed below
Sorting:
- Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.☆42Updated 3 months ago
- Task and Motion Planning with Uncertainty and Risk Awareness