New Algorithms for Combinations of Objectives using Separating Automata

Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq +2

The notion of separating automata was introduced by Bojanczyk and Czerwinski for understanding the first quasipolynomial time algorithm for parity games. In this paper we show that…