@misc{indiciae46a230ba54cb,
  title = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
  author = {Valentin Goranko and Antti Kuusisto and Raine Rönnholm},
  year = {2019},
  url = {https://arxiv.org/abs/1602.07667},
  note = {Source identifier: 1602.07667}
}