Model Checking for Game Design

In recent years, many techniques have been employed for game design. Programs have been written in various languages. Although these programs are very satisfactory in terms of accuracy of the results, speed is a factor that can definitely be worked on. In our approach to game design, we employed "Model Checking" techniques. Model Checking is the process of checking whether the given model follows certain specifications. We use the Model Checking approach to design and implement four games: "Missionaries and Cannibals Problem," "Bridge-Crossing Problem," "Theseus and the Minotaur Problem," and "Theseus and the Minotaur- Chess Style."

Autorentext

Giridhar Hariharan was born in 1985 in Baroda, Gujarat State, India. He graduated with a Bachelor's Degree in Information and Communication Technology from DA-IICT, Gandhinagar, Gujarat, in 2006. He came to the USA in 2006 for his Master's degree in Computer Science. He completed his masters with the defense of this thesis in August 2008.