Cover Image

Tractable Hyperproperties for MDPs - Artifact

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Gerlach, Carolina, Winkler, Tobias, Abraham, Erika, Bonakdarpour, Borzoo, Junges, Sebastian
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

_version_	1866902026401611776
author	Gerlach, Carolina Winkler, Tobias Abraham, Erika Bonakdarpour, Borzoo Junges, Sebastian
author_facet	Gerlach, Carolina Winkler, Tobias Abraham, Erika Bonakdarpour, Borzoo Junges, Sebastian
contents	<p>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. </p>
format	Recurso digital
id	zenodo_https___doi_org_10_5281_zenodo_19450015
institution	Zenodo
language	eng
publishDate	2026
publisher	Zenodo
record_format	zenodo
spellingShingle	Tractable Hyperproperties for MDPs - Artifact Gerlach, Carolina Winkler, Tobias Abraham, Erika Bonakdarpour, Borzoo Junges, Sebastian <p>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. </p>
title	Tractable Hyperproperties for MDPs - Artifact
url	https://doi.org/10.5281/zenodo.19450015