Login / Signup
GSOS for Probabilistic Transition Systems.
Falk Bartels
Published in:
CMCS (2002)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
finite state
bayesian networks
control flow
practical reasoning
case study
search algorithm
dynamic programming