@misc{indiciaeaff5f5df4189,
  title = {Robust Alternating-Time Temporal Logic},
  author = {Aniello Murano and Daniel Neider and Martin Zimmermann},
  year = {2023},
  url = {https://arxiv.org/abs/2307.10885},
  note = {Source identifier: 2307.10885}
}