Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm.

Simon M. Poulding, Robert Feldt

Browse the full GECCO paper archive.