Can I read Model Checking for Tic-Tac-Toe Strategy on EtoBox?

Model Checking for Tic-Tac-Toe Strategy by Taree Nee is a document available to read on EtoBox.

What is Model Checking for Tic-Tac-Toe Strategy about?

This document discusses modeling a tic-tac-toe game as a transition system that can be solved using model checking techniques. It defines the game state as the placement of pieces on the board and the transitions between states as each player

Author

Taree Nee

Language

EN