I present a technical embedding of alternating-time temporal logic into stit theory.

翻译：本文提出了一种将交替时态逻辑技术嵌入stit理论的方法。