Raven Beutner

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

Alternating-time temporal logic (ATL*) is a well-established framework for formal reasoning about multi-agent systems. However, while ATL* can reason about the strategic ability of agents (e.g., some coalition A can ensure that a goal is reached eventually), we cannot compare multiple strategic int…