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.
11Updated 3 months ago

Alternatives and similar repositories for Cook2LTL:

Users that are interested in Cook2LTL are comparing it to the libraries listed below