---
title: "Testing Correctness of Strategies in Game-Playing Programs"
authors:
  - "Max A. Bramer"
doi: ""
url: "https://ijcai.org/proceedings/1979/25"
pdf: "https://ijcai.org/proceedings/1979/0025.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# Testing Correctness of Strategies in Game-Playing Programs

Max A. Bramer

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

This paper considers the distinction between winning strategies in game-playing programs which are either 'optimal' or 'correct'. The relative merits of these two types of strategy are considered and methods are proposed for prod~cing correct algorithms by a process of iterative refinement based on an analysis of 'win-trees'. An example is given of the development of a fully correct strategy for the King and Rook against King chess endgame.