Scalable Parallel Model Checking via Monte-Carlo Tree Search
Date:
This is my talk which I presented at at the 2017 Java Pathfinder Workshop on a Monte Carlo Tree Search approach for distributed state space exploration in the context of directed model checking.
