A behavioural pseudometric for probabilistic transition systems.

Franck van Breugel James Worrell

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

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
bayesian networks
search algorithm
software engineering
sufficient conditions
probability theory