Experiments for 'Runtime Monitoring for Markov Decision Processes'

This artefact accompanies the CAV 2021 paper with the same name. 
The artefact contains a docker file, which can be unzipped and then loaded with

docker load -i premise_docker.tar.

Please refer to the README for more information.