A complete axiom system for finite-state probabilistic processes.
Eugene W. StarkScott A. SmolkaPublished in: Proof, Language, and Interaction (2000)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- probabilistic context free grammars
- optimal policy
- tree automata
- average cost
- probabilistic model
- action sets
- generative model
- context free
- partially observable markov decision processes
- inference rules
- vector quantizer
- state space
- stochastic processes
- learning algorithm
- belief networks
- process model
- transition systems
- dynamic programming