52 citations · 52 across the 1 of their papers we have counts for
1 paper
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost…