Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"

This artefact contains software and script for reproducing the results of the paper.

Please consult the README.md for more details.

The software is provided as-is and is intended only for academic use.