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

Raven Beutner, Bernd Finkbeiner

Alternating-time temporal logic (ATL${}^{\ast }$) is a well-established framework for formal reasoning about multi-agent systems. However, while ATL${}^{\ast }$ can reason about the strategic abil…