A behavioural pseudometric for probabilistic transition systems
scientific article; zbMATH DE number 2153220
scientific article