Heuristic Model Checking using a Monte-Carlo Tree Search Algorithm.

Simon M. Poulding Robert Feldt

Published in: GECCO (2015)

Keyphrases

tree search algorithm
model checking
monte carlo tree search
monte carlo
temporal logic
finite state
markov chain
tree search
game tree
evaluation function
temporal difference
particle filter
vehicle routing problem
branch and bound