A Behavioural Pseudometric for Metric Labelled Transition Systems.

Franck van Breugel

Published in: CONCUR (2005)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
petri net
data flow
reactive systems
artificial intelligence
search space
description language
fully observable