ω-regular Expression Synthesis from Transition-Based Büchi Automata. - Charles Pert; Dalal Alrajeh; Alessandra Russo (CoRR, 2024)