Axiomatizations for probabilistic finite-state behaviors.
Yuxin DengCatuscia PalamidessiPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- probabilistic context free grammars
- tree automata
- machine learning
- optimal policy
- bayesian networks
- probabilistic model
- completely independent
- average cost
- context free
- decision procedures
- multi agent
- continuous time markov process
- partially observable markov decision processes
- vector quantizer
- state space
- dynamic programming
- information retrieval