A zip-file containing the artifact, models and scripts for reproducing the results of the paper "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs" accepted at ATVA'19. The Artifact Evaluation Package is configured to match the Virtual Machine provided: 10.5281/zenodo.2759473 A guide of the experiments can be found in README.html
