TY  - RPRT
TI  - Robust Alternating-Time Temporal Logic
AU  - Aniello Murano
AU  - Daniel Neider
AU  - Martin Zimmermann
PY  - 2023
UR  - https://arxiv.org/abs/2307.10885
ID  - 2307.10885
ER  -