Lazy Probabilistic Model Checking without Determinisation.

Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang

Browse the full CONCUR paper archive.