game theoretic foundations of multi agent systems