There is a newer version of the record available.

Published June 21, 2019 | Version 1
Other Open

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

Authors/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.

Files

artifact.zip

Files (493.2 MB)

Name Size
md5:1eac867476132aeef5ee797f383e9c6d
493.2 MB Preview Download

Additional details

Funding

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