Formal Aspects of Strategic Reasoning in Multi-Agent Systems 

Tutorial @ KR 2024