Tractable Hyperproperties for MDPs - Artifact

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This artifact contains docker images, benchmarks and scripts to replicate the experiments from the paper "Tractable Hyperproperties for MDPs" by Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour and Sebastian Junges.

Authors 5

1. Carolina Gerlach Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Tobias Winkler Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

3. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

4. Borzoo Bonakdarpour

   Michigan State University

   Affiliation as printed

   Michigan State University

5. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University