Merlin Humml, Daniel Hausmann, Lutz Schröder, Simon Prucker: Efficient Model Checking for the Alternating-Time µ-Calculus via Effectivity Frames - Artifact. Zenodo 2025