Fig. 7From: Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecastUPPAAL-STRATEGO network of timed automata representing the understudy building modelBack to article page