Published April 28, 2026 | Version v3
Software Open

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

Authors/Creators

  • 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
md5:0081acc4409e59a7d830c7bc6171c56f
2.8 GB Preview Download