Bisimulation Cuts For Structuring Markov Transition Systems.

Ernst-Erich Doberkat

Published in: Fundam. Informaticae (2016)

Keyphrases

transition systems
finite state
markov chain
model checking
concurrent systems
temporal logic
practical reasoning
markov model
control flow
reactive systems
formal specification
conditional independence
model checker
petri net
orders of magnitude
heuristic search
fully observable