2 citations · 2 across the 1 of their papers we have counts for
1 paper
Elise Cormie-Bowins, Franck van Breugel
Recently, Zhang and Van Breugel introduced the notion of a progress measure for a probabilistic model checker. Given a linear-time property P and a description of the part of the s…