@article{pert2026transition,
author = {Pert, Charles and Alrajeh, Dalal and Russo, Alessandra},
title = {{Transition‑Based Acceptance for \omega‑Regular Expression Synthesis}},
year = {2026},
publisher = {Association for Computing Machinery},
volume = {38},
number = {3},
issn = {0934-5043},
url = {https://doi.org/10.1145/3803799},
doi = {10.1145/3803799},
month = jul,
articleno = {30},
numpages = {23}
}