Artifact supplement for "Shields to Guarantee Probabilistic Safety in MDPs"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Linus Heck, Filip Macák, Roman Andriushchenko, Milan Češka, Sebastian Junges
DOI: 10.5281/zenodo.19829091
Cited by: 1

Abstract

Artifact supplement for "Shields to Guarantee Probabilistic Safety in MDPs" (CAV 2026). The repository contains: docker image which contains all the source code, scripts for reproducing the results of the paper and original logs and results demonstration of how the implementation can be used outside the scope of this artifact

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 April 2026