collaborators

1 paper

cs.LO2025

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames

Daniel Hausmann, Merlin Humml, Simon Prucker +1

The semantics of alternating-time temporal logic (ATL) and the more expressive alternating-time μ-calculus (AMC) is standardly given in terms of concurrent game frames (CGF). The…