Scalable Parallel Model Checking via Monte-Carlo Tree Search
| Autor: | Reed Milewicz, Simon Poulding |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Scale (ratio) Computer science Monte Carlo method Monte Carlo tree search 020207 software engineering 0102 computer and information sciences 02 engineering and technology General Medicine Parallel computing 01 natural sciences 010201 computation theory & mathematics Search algorithm Scalability 0202 electrical engineering electronic engineering information engineering Graph (abstract data type) Protocol (object-oriented programming) |
| Zdroj: | ACM SIGSOFT Software Engineering Notes. 42:1-5 |
| ISSN: | 0163-5948 |
| DOI: | 10.1145/3149485.3149495 |
| Popis: | The future of model checking lies in parallel and distributed computing, but parallel graph search algorithms tailored to directed model checking remains an underdeveloped area of research. In this work, we examine the application of parallel Monte Carlo Tree Search algorithms. We demonstrate how exploratory, randomly sampled rollouts of the search space, coordinated through a minimally communicating work-sharing protocol, can enable us to push the boundaries on the scope and scale of problems amenable to serial search. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|