Transition‑Based Acceptance for ω‑Regular Expression Synthesis

Charles Pert, Dalal Alrajeh, Alessandra Russo. Transition‑Based Acceptance for ω‑Regular Expression Synthesis. Formal Asp. Comput., 38(3), September 2026. [doi]

Authors

Charles Pert

This author has not been identified. Look up 'Charles Pert' in Google

Dalal Alrajeh

This author has not been identified. Look up 'Dalal Alrajeh' in Google

Alessandra Russo

This author has not been identified. Look up 'Alessandra Russo' in Google