There is a newer version of the record available.

Published April 27, 2026 | Version v2
Software Open

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

  • 1. ROR icon Radboud University Nijmegen
  • 2. ROR icon Brno University of Technology

Description

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

Files

cav26-shielding.zip

Files (2.8 GB)

Name Size Download all
md5:d5ae75b8ea7cacca9bb45681d46761dc
2.8 GB Preview Download