Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

DOI

This repository contains the experimental part of the CAV 2015 publication Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. We extended the probabilistic model checker PRISM to represent strategies of Markov Decision Processes as Decision Trees. The archive contains a java executable version of the extended tool (prism_dectree.jar) together with a few examples of the PRISM benchmark library. To execute the program, please have a look at the README.txt, which provides instructions and further information on the archive. The archive contains scripts that (if run often enough) reproduces the data presented in the publication.

Identifier
DOI https://doi.org/10.15479/AT:ISTA:28
Metadata Access https://research-explorer.app.ist.ac.at/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai:pub.research-explorer.app.ist.ac.at:5549
Provenance
Creator Fellner, Andreas
Publisher Institute of Science and Technology Austria
Publication Year 2015
Funding Reference info:eu-repo/grantAgreement/EC/FP7/279307; info:eu-repo/grantAgreement/FWF//S 11407_N23
Rights info:eu-repo/semantics/openAccess
OpenAccess true
Contact repository.manager(at)ist.ac.at
Representation
Resource Type info:eu-repo/semantics/other; doc-type:ResearchData; Text; http://purl.org/coar/resource_type/c_ddb1
Discipline Life Sciences, Natural Sciences, Engineering Sciences