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.

https://arxiv.org/abs/2310.00163

Geek Repo

Github PK Tool