Published April 14, 2025 | Version v2
Software Open

Efficient Probabilistic Model Checking for Relational Reachability - Artifact

Creators

  • 1. ROR icon RWTH Aachen University
  • 2. ROR icon Michigan State University
  • 3. Radboud University

Description

This artifact contains docker images, benchmarks and script to replicate the experiments from the CAV 2025 Paper "Efficient Probabilistic Model Checking for Relational Reachability" by Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour and Sebastian Junges. 

Files

AE-CAV25-RelReach.zip

Files (4.7 GB)

Name Size Download all
md5:7082ce4f427926e9cffefecc53c58cbd
4.7 GB Preview Download

Additional details

Funding

Deutsche Forschungsgemeinschaft
UnRAVeL RTG 2236

Software

Repository URL
https://github.com/carolinager/RelReach