Artifact for the IJCAI 2024 paper "Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties"

software

posted on 2024-10-01, 07:23 authored by S. Akshay, Krishnendu Chatterjee, Tobias MeggendorferTobias Meggendorfer, Djordje ZIKELICDjordje ZIKELIC

<p dir="ltr">Artifact for the IJCAI 2024 paper "Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties". <br><br>External link: https://zenodo.org/records/11082466</p>

History

Related Materials

1.
DOI - Is supplement to Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
2.
DOI - Is identical to Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties

Confidential or personally identifiable information

The uploaded data has confidential or personally identifiable information.

Usage metrics

Keywords

Markov decision processes (MDPs)Distributional properties Planning under Uncertainty Formal Verification

Licence

MIT