Automata-theoretic approach to Planning with Temporally Extended Goals (1999)

by G de Giacomo, M Vardi
Venue:In Proc. ECP'99