Published May 6, 2022 | Version 1
Software Open

Experiments for ''Abstraction-Refinement for Hierarchical Probabilistic Models"

  • 1. Junges
  • 2. Spaan

Description

This repo contains the artifact for the CAV 2022 paper with the same name. 
Please unpack the zip file and follow the README.md from there!

Files

levelup-cav22.zip

Files (2.6 GB)

Name Size Download all
md5:aaf34b9a9165868669623423fce9ff53
2.6 GB Preview Download
md5:1ebbd3e34237af26da5dc08a4e440464
35.1 kB Download
md5:a2e6ffdcaeae246d51a96eb82a0eaba6
6.2 kB Preview Download