Keyphrases
- finite state
- concurrent programs
- pairwise
- model checking
- process algebra
- markov chain
- markov decision processes
- concurrent programming
- optimal policy
- temporal logic
- concurrent systems
- similarity measure
- transition systems
- dynamic programming
- partially observable markov decision processes
- average cost
- graph matching
- belief propagation
- web applications
- high performance computing
- state space
- formal specification
- action sets
- concurrent processes