TY  - RPRT
TI  - Layered automata: A canonical model for automata over infinite words
AU  - Antonio Casares
AU  - Christof Löding
AU  - Igor Walukiewicz
PY  - 2026
UR  - https://arxiv.org/abs/2601.15940
ID  - 2601.15940
ER  -