Coalgebra Encoding for Efficient Minimization

Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann

Recently, we have developed an efficient generic partition refinement algorithm, which computes behavioural equivalence on a state-based system given as an encoded coalgebra, and i…