scientific article; zbMATH DE number 2086664
From MaRDI portal
Publication:4737201
Recommendations
Cited in
(30)- Exploring the boundary of half-positionality
- Efficient CTL model-checking for pushdown systems
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- Optimal strategies in weighted limit games
- 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
- Note on winning positions on pushdown games with \(\omega\)-regular conditions
- Domains for Higher-Order Games
- 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
- On the complexity of multi-pushdown games
- Uniform solution of parity games on prefix-recognizable graphs
- Optimally Resilient Strategies in Pushdown Safety Games
- scientific article; zbMATH DE number 1017515 (Why is no real title available?)
- 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)
