Giuseppe De Giacomo, Moshe Y. Vardi. Automata-Theoretic Approach to Planning for Temporally Extended Goals. In Susanne Biundo, Maria Fox, editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September 8-10, 1999, Proceedings. Volume 1809 of Lecture Notes in Computer Science, pages 226-238, Springer, 1999.
Abstract is missing.