@misc{indiciaea7db85087f5f,
  title = {\$ω\$-regular Expression Synthesis from Transition-Based Büchi Automata},
  author = {Charles Pert and Dalal Alrajeh and Alessandra Russo},
  year = {2024},
  url = {https://arxiv.org/abs/2406.08136},
  note = {Source identifier: 2406.08136}
}