Learning probabilistic automata using residuals

Editor(s):
Cerone, A.; Olveczky, P.C.