TY  - RPRT
TI  - Symbolic Automata: $ω$-Regularity Modulo Theories
AU  - Margus Veanes
AU  - Thomas Ball
AU  - Gabriel Ebner
AU  - Olli Saarikivi
PY  - 2023
UR  - https://arxiv.org/abs/2310.02393
ID  - 2310.02393
ER  -