# A toolchain for domestic heat-pump control using Uppaal Stratego

> Research article (Science of Computer Programming, 2023) · cited 14× · AI/ML

**Wikidata**: [openalex:W4380785795](https://www.wikidata.org/wiki/openalex:W4380785795)  
**Source**: https://4ort.xyz/entity/a-toolchain-for-domestic-heat-pump-control-using-uppaal-stratego