Nathanaël Fijalkow Characterisation of an Algebraic Algorithm for Probabilistic Automata. 34:1-34:13 2016 STACS https://doi.org/10.4230/LIPIcs.STACS.2016.34 conf/stacs/2016 db/conf/stacs/stacs2016.html#Fijalkow16