Learning deterministic probabilistic automata from a model checking perspective
scientific article; zbMATH DE number 6825554
scientific article