Comp-LTL: Temporal Logic Plan | Pangram Labs