Fast Verified SCCs for Probabilistic Model Checking.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Browse the full ATVA paper archive.