Multiagent systems: algorithmic, game-theoretic, and logical foundations | Synapse