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