Compositional Reasoning for Probabilistic Finite-State Behaviors.
Yuxin DengCatuscia PalamidessiJun PangPublished in: Processes, Terms and Cycles (2005)
Keyphrases
- finite state
- markov chain
- markov decision processes
- probabilistic logic
- model checking
- probabilistic reasoning
- probabilistic knowledge
- optimal policy
- context free
- probabilistic model
- bayesian networks
- probabilistic context free grammars
- tree automata
- belief networks
- average cost
- knowledge representation
- planning problems
- conditional probabilities
- decision problems
- linear programming
- transition systems