3 papers
cs.DS2022
Distributed Coalgebraic Partition Refinement
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were deve…
cs.DS2020
From Generic Partition Refinement to Weighted Tree Automata Minimization
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius +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…
cs.DS2018
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…