Pages that link to "Item:Q1761287"
From MaRDI portal
The following pages link to Automated verification of state sequence invariants in general game playing (Q1761287):
Displaying 6 items.
- General game playing with stochastic CSP (Q265712) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- A symbolic finite-state approach for automated proving of theorems in combinatorial game theory (Q3600655) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Automatic Strategy Verification for Hex (Q5434459) (← links)