CS201, CS340 and Consent of the Instructor
Games, payoffs and strategies; Two player zero sumgames, minmax theorem and computing mixed strategies via LP; Thegeneral case: Nash equilibrium: existence, algorithms to find equilibrium and complexity Issues; Examples and some other kinds of equilibriums. Social choice theory, Arrow's theorem; Elements of Mechanism design, VCG mechanism. Some extensions such as games modelswith partial information, randomized mechanisms. Extensive games: turn based games, deterministic and stochastic games, winning conditions, determinacy, solving these games. Logics to reason about games and strategies: Alternating time temporal logic and its extensions.