Pages that link to "Item:Q2368953"
From MaRDI portal
The following pages link to Modular strategies for recursive game graphs (Q2368953):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)