On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.
Louis E. RosierHsu-Chun YenPublished in: ICALP (1986)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- decision problems
- probabilistic model
- partially observable markov decision processes
- context free
- probabilistic context free grammars
- average cost
- action sets
- continuous time bayesian networks
- belief networks
- finite state transducers
- transition systems