Symbolic Planning with Linear Temporal Logic and Automata

Below are some of our papers on planning with formal languages (often some variant of linear temporal logic) and automata. See also our work on LTL and reinforcement learning and reward machines.