Weijun Zhu

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 …

How to find a GSMem malicious activity via an AI approach

2018 · arXiv (Cornell University)

This paper investigates the following problem: how to find a GSMem malicious activity effectively. To this end, this paper puts forward a new method based on Artificial Intelligence (AI). At first, we use a large …