11 citations · 19 across the 4 of their papers we have counts for
4 papers
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
Ulrich Dorsch, Stefan Milius, Lutz Schröder
State-based models of concurrent systems are traditionally considered under a variety of notions of process equivalence. In the particular case of labelled transition systems, thes…
Efficient and Modular Coalgebraic Partition Refinement
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius +1
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebrai…
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Ulrich Dorsch, Stefan Milius, Lutz Schröder +1
We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbo…
Efficient Coalgebraic Partition Refinement
Ulrich Dorsch, Stefan Milius, Lutz Schröder +1
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in reactive verification; coalgebraic generalit…