Pages that link to "Item:Q2763539"
From MaRDI portal
The following pages link to Games for verification: Algorithmic issues (Q2763539):
Displaying 5 items.
- A convex programming-based algorithm for mean payoff stochastic games with perfect information (Q1686541) (← links)
- Approximation schemes for stochastic mean payoff games with perfect information and few random positions (Q1755732) (← links)
- A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions (Q2417852) (← links)
- Lattice-theoretic progress measures and coalgebraic model checking (Q2828316) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)