no code implementations • 25 Sep 2023 • Ruijia Liu, ShaoYuan Li, Xiang Yin
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications.
Navigate