Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'
| Main Authors: | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia, Guy Van den Broeck |
|---|---|
| Format: | info software |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/4726264 |