State Space Reductions for Alternating Büchi Automata.
Carsten FritzThomas WilkePublished in: FSTTCS (2002)
Keyphrases
- state space
- finite state automaton
- finite state
- markov chain
- heuristic search
- markov decision processes
- reinforcement learning
- dynamic programming
- dynamical systems
- state variables
- optimal policy
- cellular automata
- reinforcement learning algorithms
- particle filter
- probabilistic automata
- search space
- lattice gas
- planning problems
- markov decision process
- state transition
- regular expressions
- continuous time markov process
- finite state machines
- database
- text categorization
- real time
- efficient computation
- belief state
- pattern matching
- initial state
- image restoration
- action space
- tree automata
- timed automata
- stochastic domains
- query language
- feature selection
- formal language theory