Published June 21, 2019 | Version 2
Other Open

Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"

Creators

  • 1. Aalborg University

Description

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.

Notes

v2: Added appendix

Files

appendix.pdf

Files (493.6 MB)

Name Size Download all
md5:d24395df00d10f9d2eb3b4ef560e38ee
395.0 kB Preview Download
md5:1eac867476132aeef5ee797f383e9c6d
493.2 MB Preview Download

Additional details

Funding

European Commission
LASSO - Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems 669844