A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.

Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Browse the full TACAS paper archive.