Deciding Regular Games: a Playground for Exponential Time Algorithms.

Zihui Liang, Bakh Khoussainov, Mingyu Xiao

Browse the full MFCS paper archive.