DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification