Published July 5, 2023
| Version 1.0.0
Software
Open
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties"
- 1. Brno University of Technology, Brno, CZ
- 2. TU Wien, Vienna, AT
Description
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST'23).
This repository includes:
- the Docker image containing the tools used for the experiments and some scripts to replicate them.
- a guide for calling these scripts and replicate the experiments presented in the paper.
Files
HyperArtifact.zip
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b1014f0fb839f2e10aa3161d9aef0784
|
1.3 GB | Preview Download |