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]

Authors

Christopher H. Broadbent

This author has not been identified. Look up 'Christopher H. Broadbent' in Google

Arnaud Carayol

This author has not been identified. Look up 'Arnaud Carayol' in Google

Matthew Hague

This author has not been identified. Look up 'Matthew Hague' in Google

Andrzej S. Murawski

This author has not been identified. Look up 'Andrzej S. Murawski' in Google

C.-H. Luke Ong

This author has not been identified. Look up 'C.-H. Luke Ong' in Google

Olivier Serre

This author has not been identified. Look up 'Olivier Serre' in Google