Bisimilarity of Distributionally Equivalent Markov Transition Systems.

Ernst-Erich Doberkat

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

transition systems
finite state
model checking
markov chain
concurrent systems
temporal logic
practical reasoning
control flow
markov model
reactive systems
artificial intelligence
case study
distributed systems