Daniel Hausmann 0001, Merlin Humml, Simon Prucker, Lutz Schröder. Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. In Gidon Ernst, Kristin Yvonne Rozier, editors, Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings. Volume 15945 of Lecture Notes in Computer Science, pages 106-124, Springer, 2025. [doi]
Abstract is missing.