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.
13Updated 4 months ago

Alternatives and similar repositories for Cook2LTL:

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