Learning probabilistic automata: a study in state distinguishability
scientific article; zbMATH DE number 6140788