Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata.

Christel Baier, Sascha Klppelholz, Timm Spork

Browse the full CONCUR paper archive.