TY  - RPRT
TI  - Alternating Tree Automata with Qualitative Semantics
AU  - Raphaël Berthon
AU  - Nathanaël Fijalkow
AU  - Emmanuel Filiot
AU  - Shibashis Guha
AU  - Bastien Maubert
AU  - Aniello Murano
AU  - Laureline Pinault
AU  - Sophie Pinchinat
AU  - Sasha Rubin
AU  - Olivier Serre
PY  - 2020
UR  - https://arxiv.org/abs/2002.03664
ID  - 2002.03664
ER  -