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 (12)

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

This page was built for publication: