Published April 28, 2021
| Version v1
Software
Open
Experiments for 'Runtime Monitoring for Markov Decision Processes'
Description
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.