Scalable Parallel Model Checking via Monte-Carlo Tree Search

Reed M. Milewicz; Simon Poulding

doi:10.1145/3149485.3149495

Scalable Parallel Model Checking via Monte-Carlo Tree Search

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3149485.3149495 ◽

2018 ◽

Vol 42 (4) ◽

pp. 1-5 ◽

Cited By ~ 1

Author(s):

Reed M. Milewicz ◽

Simon Poulding

Keyword(s):

Monte Carlo ◽

Model Checking ◽

Tree Search ◽

Parallel Model ◽

Monte Carlo Tree Search

Download Full-text

Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm

Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15 ◽

10.1145/2739480.2754767 ◽

2015 ◽

Cited By ~ 5

Author(s):

Simon Poulding ◽

Robert Feldt

Keyword(s):

Monte Carlo ◽

Model Checking ◽

Search Algorithm ◽

Tree Search ◽

Heuristic Model ◽

Monte Carlo Tree Search ◽

Tree Search Algorithm

Download Full-text

Hyper-parameter Optimization for Monte Carlo Tree Search using Self-play

Korean Institute of Smart Media ◽

10.30693/smj.2020.9.4.36 ◽

2020 ◽

Vol 9 (4) ◽

pp. 36-43

Author(s):

Jin-Seon Lee ◽

Il-Seok Oh

Keyword(s):

Monte Carlo ◽

Parameter Optimization ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

Monte Carlo Tree Search for the Game of Diplomacy

11th Hellenic Conference on Artificial Intelligence ◽

10.1145/3411408.3411413 ◽

2020 ◽

Author(s):

Alexios Theodoridis ◽

Georgios Chalkiadakis

Keyword(s):

Monte Carlo ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

A Tutorial Introduction to Monte Carlo Tree Search

2020 Winter Simulation Conference (WSC) ◽

10.1109/wsc48552.2020.9384090 ◽

2020 ◽

Author(s):

Michael C. Fu

Keyword(s):

Monte Carlo ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

A monte carlo tree search framework for quantum circuit transformation

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415621 ◽

2020 ◽

Author(s):

Xiangzhen Zhou ◽

Yuan Feng ◽

Sanjiang Li

Keyword(s):

Monte Carlo ◽

Quantum Circuit ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

Deep learning inspired routing in ICN using Monte Carlo Tree Search algorithm

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2020.12.014 ◽

2021 ◽

Author(s):

Nitul Dutta ◽

Shobhit K. Patel ◽

Vadim Samusenkov ◽

Vigneswaran D.

Keyword(s):

Monte Carlo ◽

Deep Learning ◽

Search Algorithm ◽

Tree Search ◽

Monte Carlo Tree Search ◽

Tree Search Algorithm

Download Full-text

A Job Scheduling Algorithm for Edge Computing Based on Modified Monte Carlo Tree Search

2021 6th International Conference on Intelligent Computing and Signal Processing (ICSP) ◽

10.1109/icsp51882.2021.9408690 ◽

2021 ◽

Author(s):

Haobin Wang ◽

Chen Li ◽

Tianyuan Wang ◽

Fenfen Huang

Keyword(s):

Monte Carlo ◽

Job Scheduling ◽

Scheduling Algorithm ◽

Edge Computing ◽

Tree Search ◽

Monte Carlo Tree Search ◽

Job Scheduling Algorithm

Download Full-text

Exploratory analysis of the Monte Carlo tree search for solving the linear ordering problem

Proceedings of the Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3449726.3463163 ◽

2021 ◽

Author(s):

Andoni I. Garmendia ◽

Josu Ceberio ◽

Alexander Mendiburu

Keyword(s):

Monte Carlo ◽

Exploratory Analysis ◽

Linear Ordering ◽

Tree Search ◽

Linear Ordering Problem ◽

Monte Carlo Tree Search

Download Full-text

Playing Carcassonne with Monte Carlo Tree Search

2020 IEEE Symposium Series on Computational Intelligence (SSCI) ◽

10.1109/ssci47803.2020.9308458 ◽

2020 ◽

Author(s):

Fred Valdez Ameneyro ◽

Edgar Galvan ◽

Angel Fernando Kuri Morales

Keyword(s):

Monte Carlo ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

Water Quality Forecasting in Shrimp Cultures based on Monte Carlo Tree Search

2021 7th International Conference on Engineering, Applied Sciences and Technology (ICEAST) ◽

10.1109/iceast52143.2021.9426250 ◽

2021 ◽

Author(s):

Dhanachai Pinitsava ◽

Piyaporn Surinlert ◽

Worapan Kusakunniran

Keyword(s):

Water Quality ◽

Monte Carlo ◽

Tree Search ◽

Monte Carlo Tree Search ◽

Water Quality Forecasting

Download Full-text