Automata-theoretic approach to planning with temporally extended goals (1999)

by G de Giacomo, M Vardi
Venue:In Proc. of 5th European Conf. in Planning (ECP’99