9 citations · 22 across the 11 of their papers we have counts for
1 paper · 1 filter
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…