Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sallinger, Sarah"'
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class of behavioral properties is suitable for capturing important security
Externí odkaz:
http://arxiv.org/abs/2307.04503
