Published May 14, 2022
| Version v1
Software
Open
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
- 1. Aalborg University
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.
Files
artefact.zip
Files
(38.0 MB)
Name | Size | Download all |
---|---|---|
md5:62bf5e8592cc4ba0d05c1666eb898656
|
38.0 MB | Preview Download |