Streett Games on Finite Graphs
Résumé
Streett Games are an adequate model of strong fairness in reactive systems. We show here that solving these games is co-NP complete, and that they require memory factorial in the size of the winning condition, even when the size of the game is polynomial. Two algorithms, computing the strategies of both players, are also presented.