One of the effective and well studied approaches for coordinating multiagent systems is to
synthesize social laws which restrict the behavior of individual agents. We show that when …