End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.

Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba

Browse the full TASE paper archive.