교대 시간 시간 논리(ATL*)는 다중 에이전트 시스템에 대한 전략적 능력을 추론할 수 있지만, 여러 전략적 상호작용을 비교하거나 여러 에이전트가 동일한 전략을 따르도록 요구할 수는 없다. 이 논문에서는 HyperATLS라는 ATL의 확장을 제안하여 (1) 다중 경로에 대한 하이퍼프로퍼티를 비교할 수 있고 (2) 일부 에이전트가 동일한 전략을 따르도록 강제할 수 있다.
