State and path coalition effectivity models for logics of multi-player games.

Valentin Goranko, Wojciech Jamroga

Browse the full AAMAS paper archive.