@misc{indiciae30abae43e1ac,
  title = {Symbolic Automata: \$ω\$-Regularity Modulo Theories},
  author = {Margus Veanes and Thomas Ball and Gabriel Ebner and Olli Saarikivi},
  year = {2023},
  url = {https://arxiv.org/abs/2310.02393},
  note = {Source identifier: 2310.02393}
}