Suguman Bansal, Computer Aided Strategic Reasoning

Slides

Strategic interactions have been studied extensively by game theorist, and finds diverse applications in economics, social sciences, evolutionary biology etc. Paraphrasing Wikipedia, Formal Methods is a set of mechanized techniques used for specification, development and verification of complex systems. In this talk, I will discuss a novel approach to combine these two fields to build decision procedures for computation in, and verification of strategic interactions. More concretely, we will look at the problem of computing all Nash equilibria in weighted regular games, a model for repeated interactions among entities.