Search

• < Previous
• 1
• Next >

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the coalgebraic $\mu$-calculus includes an exponential-time upper bound&nbsp;[&hellip;]