Automatic Strategy Verification for Hex

DOI10.1007/978-3-540-75538-8_10MaRDI QIDQ5434459zbMATH OpenOpenAlexFDO

Authors Ryan Hayward, Broderick Arneson, Philip Henderson

Publication date 4 January 2008

Published in Computers and Games (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75538-8_10

Mathematics Subject Classification ID

Artificial intelligence (68T99) 2-person games (91A05)

Recommendations

• Mechanical verification on strategies
• Symbolic verification and strategy synthesis for turn-based stochastic games
• Automated verification of state sequence invariants in general game playing
• Programmed strategies for program verification
• scientific article; zbMATH DE number 2124098
• Automated Verification of Concurrent Stochastic Games
• Strategies in games: a logic-automata study
• Game Quantification on Automatic Structures and Hierarchical Model Checking Games
• Reasoning about strategies: on the model-checking problem

Cited in

(1)

• Hex strategy: making the right connections

This page was built for publication: Automatic Strategy Verification for Hex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434459)