Search

• < Previous
• 1
• Next >

---

Efficient and Modular Coalgebraic Partition Refinement

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&nbsp;[&hellip;]

---

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

Thorsten Wißmann ; Stefan Milius ; Lutz Schröder.

We provide a generic algorithm for constructing formulae that distinguish behaviourally inequivalent states in systems of various transition types such as nondeterministic, probabilistic or weighted; genericity over the transition type is achieved by working with coalgebras for a set functor in the&nbsp;[&hellip;]

---