Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

Erik P. de Vink Jan J. M. M. Rutten

Published in: ICALP (1997)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
bayesian networks
artificial intelligence
control flow
case study
rough sets
markov chain
probability theory