48 citations · 48 across the 2 of their papers we have counts for
1 paper · 1 filter
Roman Andriushchenko, Ezio Bartocci, Milan Ceska +2
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class…