TY  - RPRT
TI  - $ω$-regular Expression Synthesis from Transition-Based Büchi Automata
AU  - Charles Pert
AU  - Dalal Alrajeh
AU  - Alessandra Russo
PY  - 2024
UR  - https://arxiv.org/abs/2406.08136
ID  - 2406.08136
ER  -