These are game theory notes from LSE. They cover the following topics: Nim and combinatorial games, Games as trees and in strategic form, Mixed strategy equilibria,
Game trees wit...
We present a computational approach to the saddle-point formulation for the Nash equilibria of two-person, zero-sum sequential games of imperfect information. The algorithm is a ļ¬...
CEDAR (Counter Example Driven Antichain Reļ¬nement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the ļ¬rst player can ensure to win and, if so, it constructs...
Dietmar Berwanger, Krishnendu Chatterjee, Martin D...
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...