Barbara König, Sebastian Küpper. Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014
HAL Archives-Ouvertes,
Barbara König, Sebastian Küpper. Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted…