Published May 23, 2023
| Version 0.4.0
Software
Open
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties"
Authors/Creators
- 1. Brno University of Technology, Brno, CZ
- 2. TU Wien, Vienna, AT
Description
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (submitted at 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 submitted paper.
Files
HyperArtifact.zip
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:913f2a8c86e697fe365a2483b85d372a
|
1.3 GB | Preview Download |