@baisemain

Automata-Theoretic Approach to Planning for Temporally Extended Goals

, and . ECP, page 226--238. (1999)

Abstract

We study an automata-theoretic approach to planning for temporally extended goals. Specifically, we devise techniques based on nonemptiness of Buchi 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....

Links and resources

Tags

community

  • @baisemain
  • @dblp
@baisemain's tags highlighted