Approximating and computing behavioural distances in probabilistic transition systems.

Franck van Breugel James Worrell

Published in: Theor. Comput. Sci. (2006)

Keyphrases

transition systems
model checking
concurrent systems
control flow
temporal logic
case study
bayesian networks
heuristic search
data flow
finite state
practical reasoning