There is a newer version of the record available.

Published May 14, 2022 | Version v1
Software Open

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 for more details.

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


Files (38.0 MB)

Name Size Download all
38.0 MB Preview Download

Additional details


LASSO – Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems 669844
European Commission