@misc{indiciae6fa116a5c722,
  title = {A Temporal Logic for Strategic Hyperproperties},
  author = {Raven Beutner and Bernd Finkbeiner},
  year = {2021},
  doi = {10.4230/lipics.concur.2021.24},
  url = {https://arxiv.org/abs/2107.02509},
  note = {Source identifier: 2107.02509}
}