52 citations · 206 across the 25 of their papers we have counts for
1 paper · 1 filter
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…