angmavrogiannis / Cook2LTLLinks

Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task planning.
17Updated last year

Alternatives and similar repositories for Cook2LTL

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

Sorting: