There is a newer version of the record available.

Published May 23, 2023 | Version 0.2.0
Software Open

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties"

Creators

  • 1. Brno University of Technology, Brno, CZ
  • 2. TU Wien, Vienna, AT

Description

Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties'  (QEST23).

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:2fe694cfadcbd972f92590fd54300807
1.3 GB Preview Download