Abstract model repair for probabilistic systems
scientific article; zbMATH DE number 6851683
scientific article