Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Tractable Hyperproperties for MDPs
Lina Gerlach, Tobias Winkler, Erika Ãbrahám +2
Probabilistic hyperproperties describe probabilistic relations between multiple sets of executions in a stochastic system. Prominent examples include information-theoretic characte…
cs.LO2025
A Hyperlogic for Strategies in Stochastic Games (Extended Version)
Lina Gerlach, Christof Löding, Erika Ãbrahám
We propose a probabilistic hyperlogic called HyperSt that can express hyperproperties of strategies in turn-based stochastic games. To the best of our knowledge, HyperSt is…
cs.LO2025
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
Lina Gerlach, Tobias Winkler, Erika Ãbrahám +2
Markov decision processes model systems subject to nondeterministic and probabilistic uncertainty. A plethora of verification techniques addresses variations of reachability proper…