1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 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…
cs.LO2023★ 1 cited
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Daniel Hausmann, Merlin Humml, Simon Prucker +2
We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (nondeterministic, game-based, probabilistic etc.) and in the nex…