TY  - RPRT
TI  - Transition-based vs stated-based acceptance for automata over infinite words
AU  - Antonio Casares
PY  - 2025
UR  - https://arxiv.org/abs/2508.15402
ID  - 2508.15402
ER  -