Franck Thollard Baptiste Jeudy Efficient Pruning of Probabilistic Automata. 65-75 2008 SSPR/SPR http://dx.doi.org/10.1007/978-3-540-89689-0_11 conf/sspr/2008 db/conf/sspr/sspr2008.html#ThollardJ08