This page lists supplementary material for our paper "Monte Carlo Tree Search guided by Symbolic Advices for MDPs" in CONCUR20.

For each scenario of the small layout, we randomly selected three games out of one hundred.

For four random ghosts

set 1 set 2 set 3

For one directional and four random ghosts

set 1 set 2 set 3

Teaser
Talk

A virtual machine with the source code and everything set up to either play yourself or run new experiments is also available here.

The VM is an Open Virtual Appliance (OVA) file, it can be read using virtualbox.