Synthesis of Finite-state and Definable Winning Strategies.
Alexander RabinovichPublished in: FSTTCS (2009)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- average cost
- vector quantizer
- partially observable markov decision processes
- tree automata
- reinforcement learning
- context free
- computational complexity
- probabilistic model
- finite state transducers
- action sets
- continuous time bayesian networks