1 paper · 1 filter
Antonio Di Stasio, Moshe Y. Vardi
Rabin games have their roots in Michael Rabin's seminal work on automata over infinite trees and form a classical model for infinite-round games with ω-regular winning conditions.…