On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Beutner and Finkbeiner. "On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I16.29679

[Beutner and Finkbeiner. "On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/beutner2024aaai-alternating/) doi:10.1609/AAAI.V38I16.29679

@inproceedings{beutner2024aaai-alternating,
  title     = {{On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing}},
  author    = {Beutner, Raven and Finkbeiner, Bernd},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {17317-17326},
  doi       = {10.1609/AAAI.V38I16.29679},
  url       = {https://mlanthology.org/aaai/2024/beutner2024aaai-alternating/}
}