research
∙
04/13/2022
Distributed Coalgebraic Partition Refinement
Partition refinement is a method for minimizing automata and transition ...
share
research
∙
02/25/2021
Coalgebra Encoding for Efficient Minimization
Recently, we have developed an efficient generic partition refinement al...
research
∙
04/02/2020
From Generic Partition Refinement to Weighted Tree Automata Minimization
Partition refinement is a method for minimizing automata and transition ...
research
∙
11/21/2018
CoPaR: An Efficient Generic Partition Refiner
Partition refinement is a method for minimizing automata and transition ...
research
∙
10/24/2017