scientific article; zbMATH DE number 2086664

zbMath1057.68046MaRDI QIDQ4737201

Thierry Cachat

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800704.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Formal languages and automata (68Q45)

Related Items

A Branching Time Variant of CaRet, Modular strategies for recursive game graphs, Model Checking Procedural Programs, Efficient CTL model-checking for pushdown systems, Unnamed Item, Unnamed Item, Exploring the boundary of half-positionality, Unnamed Item, A saturation method for the modal \(\mu \)-calculus over pushdown systems, Note on winning positions on pushdown games with \(\omega\)-regular conditions, Optimally Resilient Strategies in Pushdown Safety Games, Domains for Higher-Order Games