2 results
Thorsten Wißmann ; Ulrich Dorsch ; Stefan Milius ; Lutz Schröder.
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical relational systems but also, e.g. various forms of weighted systems […]
Published on January 31, 2020
Daniel Hausmann ; Lutz Schröder.
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 […]
Published on July 23, 2024