Deductive controller synthesis for probabilistic hyperproperties
Probabilistic hyperproperties specify quantitative relations between the probabilities of
reaching different target sets of states from different initial sets of states. This class of …
reaching different target sets of states from different initial sets of states. This class of …
Check for updates
CRI Time, M Bernardo¹, I Lanese, A Marin… - … of Systems: 20th …, 2023 - books.google.com
Several notions of reversibility exist in the literature. On the one hand, causal reversibility
establishes that an action can be undone provided that all of its consequences have been …
establishes that an action can be undone provided that all of its consequences have been …