Learning probabilistic automata: A study in state distinguishability | Publicación