Winning Regions of Pushdown Parity Games: A Saturation Method
From MaRDI portal
Publication:3184687
DOI10.1007/978-3-642-04081-8_26zbMath1254.68135OpenAlexW1554290420MaRDI QIDQ3184687
No author found.
Publication date: 22 October 2009
Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:eaa0a7a2-136d-4a1c-8e87-66859c2ff68e
Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45)
Related Items
A Branching Time Variant of CaRet, Model Checking Procedural Programs, A saturation method for the modal \(\mu \)-calculus over pushdown systems, Domains for Higher-Order Games
Uses Software
Cites Work