The author proposes HyperATL∗S as an extension of ATL∗ to compare multiple strategic interactions and enforce agents to share strategies in multi-agent systems.
