@misc{indiciae6bc11d2f543a,
  title = {Transition-based vs stated-based acceptance for automata over infinite words},
  author = {Antonio Casares},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15402},
  note = {Source identifier: 2508.15402}
}