Logic and game theory for social mechanisms
Sieuwert van Otterloo · 2005
My research is focused on checking multi-agent protocols for their game theoretic properties, using logic and occasionally information theory. The main results involve computational complexity for several classes of properties, such as properties involving knowledge, assuming commonly known strategies, or nested preferences.