Showing cs.LOShow all
2 papers · 1 filter
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…