DOI,IST REx ID,Research Group,Title of publication
10.1145/2597631,2141,KrCh,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition