TY  - RPRT
TI  - Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter
AU  - Amar Isli
PY  - 2020
UR  - https://arxiv.org/abs/2002.11510
ID  - 2002.11510
ER  -