Embedding Alternating-time Temporal Logic in strategic STIT logic of agency

DSpace/Manakin Repository