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

  • Imran Riaz Hasrat (Creator)
  • Peter Gjøl Jensen (Creator)
  • Kim Guldstrand Larsen (Creator)
  • Jiri Srba (Creator)

Dataset

Description

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.
Date made available2022
PublisherZenodo

Access Dataset

Cite this