Automatic Strategy Verification for Hex

13 years 4 months ago

Download webdocs.cs.ualberta.ca

We present a concise and/or-tree notation for describing Hex strategies together with an easily implemented algorithm for verifying strategy correctness. To illustrate our algorithm, we use it to verify Jing Yang's 7

Ryan B. Hayward, Broderick Arneson, Philip Henders

Real-time Traffic

Algorithm | CG 2006 | Computer Graphics | Hex Strategies | Strategy Correctness |

claim paper

» Automating Verification of Cooperation Control and Design in Traffic Applications

» Addressing the Vulnerabilities of LikelihoodRatioBased Face Verification

» A strategy for efficiently verifying requirements

» Design for verification for asynchronously communicating Web services

» Automatic Generation of Local Repairs for Boolean Programs

» Approaching human listener accuracy with modern speaker verification

» Template selection for online signature verification

» Face Verification Using Error Correcting Output Codes

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	CG
Authors	Ryan B. Hayward, Broderick Arneson, Philip Henderson

Comments (0)

Sciweavers

Automatic Strategy Verification for Hex

Algorithm | CG 2006 | Computer Graphics | Hex Strategies | Strategy Correctness |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers