Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Gerlach, Lina"'
Probabilistic hyperproperties express probabilistic relations between different executions of systems with uncertain behavior. HyperPCTL allows to formalize such properties, where quantification over probabilistic schedulers resolves potential non-de
Externí odkaz:
http://arxiv.org/abs/2307.05282
