Artefact for: MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives

Published April 26, 2023 | Version v2

Software Open

The artefact for the CAV paper "MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives".

Files

Name	Size	Download all
artefact.zip md5:902f332d87df3b5b8de1f2ed0e3ee5ed	261.4 MB	Preview Download

103

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more