A pseudometric in supervisory control of probabilistic discrete event systems
scientific article; zbMATH DE number 6185564
scientific article