Transition‑Based Acceptance for ω‑Regular Expression Synthesis
Published in Formal Aspects of Computing (FAC), 2026
Recommended citation: Charles Pert, Dalal Alrajeh, and Alessandra Russo. (2026). "Transition‑Based Acceptance for ω‑Regular Expression Synthesis." Formal Aspects of Computing (FAC).
Download Paper | Download Bibtex