TY  - RPRT
TI  - Sorting Finite Automata via Partition Refinement
AU  - Ruben Becker
AU  - Manuel Cáceres
AU  - Davide Cenzato
AU  - Sung-Hwan Kim
AU  - Bojana Kodric
AU  - Francisco Olivares
AU  - Nicola Prezza
PY  - 2023
UR  - https://arxiv.org/abs/2305.05129
ID  - 2305.05129
ER  -