Published May 14, 2022
| Version v1
Software
Open
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Authors/Creators
- 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 |