31 citations · 62 across the 10 of their papers we have counts for
1 paper · 2 filters
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte +3
We revisit the symbolic verification of Markov chains with respect to finite horizon reachability properties. The prevalent approach iteratively computes step-bounded state reachab…