Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification.

Krishnendu Chatterjee, Monika Henzinger

Browse the full SODA paper archive.