activity
20162025
most citedGeneric Model Checking for Modal Fixpoint Logics in COOL-MC

1 citations · 1 across the 13 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

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 i…