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.