Deductive Controller Synthesis for Probabilistic Hyperproperties

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…