Bakh Khoussainov

Games played on finite graphs

The goal of this lecture is to give a brief background to the parity games problem and its solutions. In particular, we present a quasi-polynomial algorithm that solves the problem. The presentation will be in a somewhat informal way with more emphasis on ideas rather than formal details.

Professor Bakh Khoussainov (University of Auckland; www.cs.auckland.ac.nz/people/b-khoussainov) is the LMS-NZMS Aitken Lecturer for 2019