Supplemental Material for the Paper: Learning Explainable and Better Performing Representations of POMDP Strategies This artifact contains the implementation for the paper " Learning Explainable and Better Performing Representations of POMDP Strategies". Our implementation is part of the probabilistic model checker Storm.Included are the source files of Storm with the extensions we made as well as some of the required dependencies. Furthermore, we include the sources of inductive synthesis tool PAYNT and some of its dependencies.In addition to the tools, the artifact contains the model files we used for evaluating our implementation and scripts to replicate the experiments we conducted for the paper.Furthermore, we include scripts to run a subset of the experiments for a less time intensive evaluation of the implementation. For validation of our original experiments, the original logfiles are also included.

This artifact was tested using the virtual machine (VM) for the TACAS'24 artefact evaluation, available at https://doi.org/10.5281/zenodo.7113222. The VM is based on Ubuntu 22.04. Use the root password `tacas23`.