Multiagent systems: algorithmic, game-theoretic, and logical foundations · Study