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