Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published April 28, 2021 | Version v1
Software Open

Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'

Creators

  • 1. UCLA
  • 2. University of California at Berkeley

Description

This is the supplement for the CAV 2021 paper with the same title.

Please unzip the folder and follow the README.md.  

Files

README.md

Files (2.4 GB)

Name Size Download all
md5:4fe869ee987a340198fb0d54c55c47f1
35.1 kB Download
md5:adf8ec2a6539e26f8fe08736be197b23
13.9 kB Preview Download
md5:4989155733b58afab89e551cd8c0bf81
2.4 GB Preview Download