Collapsible Pushdown Parity Games

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. Collapsible Pushdown Parity Games. ACM Trans. Comput. Log., 22(3), 2021. [doi]

Abstract

Abstract is missing.