@inproceedings{pert2025rnn,
  author    = {Charles Pert and Dalal Alrajeh and Alessandra Russo},
  title     = {{RNN Generalization to Omega-Regular Languages}},
  booktitle = {Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2025)},
  year      = {2025},
  pages     = {15--21},
  series    = {CEUR Workshop Proceedings},
  volume    = {4142},
  url       = {https://ceur-ws.org/Vol-4142/paper2.pdf}
}