A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"
[article]
2019
Zenodo
Preserved Fulltext
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. ...
states G Output: A near-optimal, strategy σ for the MDP M under the cost function C for the goal G. 1 Initially let σ(s)(α) = 1 |Act| for any s ∈ R K and any α ∈ Act 2 while Termination criterion is not ...
doi:10.5281/zenodo.3268381
fatcat:y2w224amojfg5m6k7ivinjwgge
An Anytime Algorithm for Reachability on Uncountable MDP
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We provide an algorithm for reachability on Markov decision processes with uncountable state and action spaces, which, under mild assumptions, approximates the optimal value to any desired precision. ...
Moreover, it simultaneously is the first algorithm able to utilize learning approaches without sacrificing guarantees and it further allows for combination with existing heuristics. ...
Teaching stratego to play ball: Optimal synthesis for continuous
space mdps. ...
arXiv:2008.04824v1
fatcat:54e5csqhojhdpc6brhwero4plq