Counterexample-guided inductive synthesis for probabilistic systems
scientific article; zbMATH DE number 7395147