Generic Partition Refinement and Weighted Tree Automata

Hans-Peter Deifel, Stefan Milius, Lutz Schröder +1

Partition refinement is a method for minimizing automata and transition systems of various types. Recently, we have developed a partition refinement algorithm that is generic in th…