3 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision pro…