Modular Strategies for Recursive Game Graphs
No abstract available.
Related papers
- Modular Strategies for Infinite Games on Recursive Graphs CAV 2003
- Analysis of Recursive Game Graphs Using Data Flow Equations VMCAI 2004
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Most General Winning Secure Equilibria Synthesis in Graph Games TACAS 2024
- An abstract, certified account of operational game semantics ESOP 2025