Login / Signup
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach
Nikola Trcka
Published in:
QFM (2009)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
reinforcement learning
markov chain
control flow
practical reasoning
markov model
reactive systems
multi agent
model checker