Efficient Model Checking for the Alternating-Time $$\mu $$-Calculus via Effectivity Frames

Hausmann D, Humml M, Prucker S (2025)

Publication Type: Conference contribution

Publication year: 2025

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: IEEE

Series: Lecture Notes in Computer Science

City/Town: New York City

Pages Range: 106-124

Conference Proceedings Title: 31st International Symposium, SPIN 2025

Event location: Hamilton CA

ISBN: 9783032068460

DOI: 10.1007/978-3-032-06847-7_6

Authors with CRIS profile

Merlin Humml Lehrstuhl für Informatik 8 (Theoretische Informatik) Simon Prucker Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

The University of Liverpool GB United Kingdom (GB)

How to cite

APA:

Hausmann, D., Humml, M., & Prucker, S. (2025). Efficient Model Checking for the Alternating-Time $$\mu $$-Calculus via Effectivity Frames. In 31st International Symposium, SPIN 2025 (pp. 106-124). Hamilton, CA: New York City: IEEE.

MLA:

Hausmann, Daniel, Merlin Humml, and Simon Prucker. "Efficient Model Checking for the Alternating-Time $$\mu $$-Calculus via Effectivity Frames." Proceedings of the 31st International Symposium, SPIN 2025, Hamilton New York City: IEEE, 2025. 106-124.

BibTeX: Download