Linfeng Jiao

An algorithm for searching states of game of Go based on symbolic model checking

2016

The existing artificial intelligence techniques for games of Go have made remarkable achievements. However, the strongest AI for Go does not have a deterministic search capability. To address this issue, we introduce the model checking …