Probabilistic Weighted Automata.

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger

Browse the full CONCUR paper archive.