Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition

Krishnendu Chatterjee, Monika Henzinger. Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition. Journal of the ACM, 61(3):15, 2014. [doi]

Abstract

Abstract is missing.