Simon Poulding

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Alpha Beta Search

Formal Specification

Monte Carlo Tree Search

Temporal Properties

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Reed M. Milewicz, Simon Poulding
Scalable Parallel Model Checking via Monte-Carlo Tree Search. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)