Pages that link to "Item:Q2368953"
From MaRDI portal
The following pages link to Modular strategies for recursive game graphs (Q2368953):
Displaying 11 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)
- Mean-Payoff Pushdown Games (Q2986796) (← links)
- (Q4339226) (← links)
- (Q4372463) (← links)
- The Complexity of Mean-Payoff Pushdown Games (Q4640299) (← links)
- Computer Aided Verification (Q5900671) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901915) (← links)