59 citations · 185 across the 53 of their papers we have counts for
1 paper · 2 filters
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…