SMU Research Data Repository (RDR)
Browse
- No file added yet -

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

Download (123.88 MB)
software
posted on 2024-10-01, 07:23 authored by S. Akshay, Krishnendu Chatterjee, Tobias MeggendorferTobias Meggendorfer, Djordje ZIKELICDjordje ZIKELIC

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

External link: https://zenodo.org/records/11082466

History

Confidential or personally identifiable information

  • The uploaded data has confidential or personally identifiable information.

Usage metrics

    School of Computing and Information Systems

    Categories

    Keywords

    Markov decision processes (MDPs)Distributional propertiesPlanning under UncertaintyFormal Verification

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC