Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact

Artefact for "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes" switss-multi contains the implementation of our tool and the installation is described in the README.md experiments contains the experiments and results. A description is provided in the README.md