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]

Authors

Reed M. Milewicz

This author has not been identified. Look up 'Reed M. Milewicz' in Google

Simon Poulding

This author has not been identified. Look up 'Simon Poulding' in Google