13 citations · 22 across the 11 of their papers we have counts for
Showing 2025Show 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.FL2025
Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning
Christof Löding, Igor Walukiewicz
Abu Radi and Kupferman (2019) demonstrated the efficient minimization of history-deterministic (transition-based) co-Büchi automata, building on the results of Kuperberg and Skrzyp…