Lina Gerlach, Christof Löding, Erika Ábrahám. A Hyperlogic for Strategies in Stochastic Games. In Pavithra Prabhakar, Andrea Vandin, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Volume 16143 of Lecture Notes in Computer Science, pages 1-20, Springer, 2025. [doi]
Abstract is missing.