Automata-Theoretic Approach to Planning for Temporally Extended Goals

  title={Automata-Theoretic Approach to Planning for Temporally Extended Goals},
  author={Giuseppe De Giacomo and Moshe Y. Vardi},
We study an automata-theoretic approach to planning for temporally extended goals. Specifically, we devise techniques based on nonemptiness of Büchi automata on infinite words, to synthesize sequential and conditional plans in a generalized setting in which we have that: goals are general temporal properties of desired execution; dynamic systems are represented by finite transition systems; incomplete information on the initial situation is allowed; and states are only partially observable. We… CONTINUE READING
Highly Cited
This paper has 123 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 80 extracted citations

124 Citations

Citations per Year
Semantic Scholar estimates that this publication has 124 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 45 references

Knowledge in Action: Logical Foundation for Describing and Imple- menting Dynamical Systems

  • R. Reiter
  • In preparation
  • 1998
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…