11 citations · 37 across the 18 of their papers we have counts for
1 paper · 1 filter
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…