Axiomatizations for Probabilistic Finite-State Behaviors.
Yuxin DengCatuscia PalamidessiPublished in: FoSSaCS (2005)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- tree automata
- transition systems
- generative model
- probabilistic context free grammars
- context free
- probabilistic model
- belief networks
- average cost
- partially observable markov decision processes
- bayesian networks
- action sets
- continuous time bayesian networks
- policy iteration
- vector quantizer
- hidden markov models
- reinforcement learning