Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2022). Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS, 2: 4, pp. 1-83. doi:10.46298/theoretics.23.4.