scientific article; zbMATH DE number 2086664
From MaRDI portal
Publication:4737201
zbMATH Open1057.68046MaRDI QIDQ4737201FDOQ4737201
Authors: 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 of this publication is not available (Why is that?)
Recommendations
Cited In (29)
- Exploring the boundary of half-positionality
- Efficient CTL model-checking for pushdown systems
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- Qualitative reachability in stochastic BPA games
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- On-the-Fly Synthesis for Strictly Alternating Games
- Domains for Higher-Order Games
- Note on winning positions on pushdown games with \(\omega\)-regular conditions
- Positional Strategies for Higher-Order Pushdown Parity Games
- Mean-payoff pushdown games
- Infinite-state games with finitary conditions
- Model checking procedural programs
- Optimal strategies in pushdown reachability games
- Modular strategies for recursive game graphs
- Strategy composition in compositional games
- A Branching Time Variant of CaRet
- Uniform solution of parity games on prefix-recognizable graphs
- Optimally Resilient Strategies in Pushdown Safety Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Summaries for context-free games
- Regular strategies in pushdown reachability games
- Solving μ-Calculus Parity Games by Symbolic Planning
- Two-Way Tree Automata Solving Pushdown Games
- Formats of winning strategies for six types of pushdown games
- Reachability games on automatic graphs
- Synthesis of finite-state and definable winning strategies
- Symbolic computational techniques for solving games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737201)
