D. Hausmann

collaborators

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…

cs.LO2024

Coalgebraic Satisfiability Checking for Arithmetic $I^¼$ -Calculi

Daniel Hausmann, Lutz SchrÃ¶der

The coalgebraic $I^¼$ -calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilis…

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

Coalgebraic Satisfiability Checking for Arithmetic I^¼-Calculi

Coalgebraic Satisfiability Checking for Arithmetic $I^¼$ -Calculi