DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611973099.109,3165,KrCh,An O(n2) time algorithm for alternating Büchi games