Universal trees and parity games

2019-07-23 10:00–11:00 FAMNIT-MP1 Michael Vyalyi (National Research University – Higher School of Economics, Moscow, Russia) Universal trees and parity games Starting from 2017, several quasi-polynomial algorithms for solving parity games were suggested. Using universal ordered trees and automata separation approach…
