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

翻译：我提出一个技术问题,将交替时间时间推论嵌入stitt理论中。