Beutner, R., & Finkbeiner, B. (2024). On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. Proceedings of the AAAI Conference on Artificial Intelligence, 38(16), 17317-17326. https://doi.org/10.1609/aaai.v38i16.29679