Positional Strategies for Higher-Order Pushdown Parity Games

DOI10.1007/978-3-540-85238-4_17zbMath1173.68547OpenAlexW2155150146MaRDI QIDQ3599129

Arnaud Carayol, Michaela Slaats

Publication date: 3 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85238-4_17

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (2)

On Global Model Checking Trees Generated by Higher-Order Recursion Schemes ⋮ Regular sets over extended tree structures

This page was built for publication: Positional Strategies for Higher-Order Pushdown Parity Games