Scalable Parallel Model Checking via Monte-Carlo Tree Search

Reed M. Milewicz, Simon Poulding. Scalable Parallel Model Checking via Monte-Carlo Tree Search. ACM SIGSOFT Software Engineering Notes, 42(4):1-5, 2017. [doi]

Abstract

Abstract is missing.