Published December 8, 2022 | Version v2
Software Open

Artefact for "A Toolchain for Domestic Heat-Pump Control Using Uppaal Stratego"

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 (39.3 MB)

Name Size Download all
md5:d37c279ebcc12f9bb5c32ccc0b65567d
39.3 MB Preview Download

Additional details

Funding

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