Nathanaël Fijalkow Cristian Riveros James Worrell 0001 Probabilistic Automata of Bounded Ambiguity. 19:1-19:14 2017 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2017.19 conf/concur/2017 db/conf/concur/concur2017.html#FijalkowR017