Simon M. Poulding, Robert Feldt. Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm. In Juan Luis Jiménez Laredo, Sara Silva, Anna Isabel Esparcia-Alcázar, editors, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015. pages 1359-1366, ACM, 2015. [doi]
Abstract is missing.