Stepwise Refinement and Concurrency: The Finite-State Case.
E. Pascal GribomontPublished in: Sci. Comput. Program. (1990)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- average cost
- finite state transducers
- vector quantizer
- partially observable markov decision processes
- tree automata
- transition systems
- action sets
- state space
- concurrency control
- continuous time bayesian networks
- continuous time markov process