@inproceedings{7d51b6637cee45269ba3464a8d5e0ea1,
title = "Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego",
author = "Agesen, {Mads Kronborg} and S{\o}ren Enevoldsen and {Le Guilly}, Thibaut and Anders Mariegaard and Petur Olsen and Skou, {Arne Joachim}",
year = "2017",
month = aug,
day = "19",
doi = "10.1007/978-3-319-63121-9_30",
language = "English",
isbn = "978-3-319-63120-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "603--622",
booktitle = "Models, Algorithms, Logics and Tools",
address = "United States",
note = "KiMfest : a conference in honour of Kim G. Larsen on the occasion of his 60th birthday, Aalborg University, 19-20 August 2017. ; Conference date: 19-08-2017 Through 20-08-2017",
url = "http://kimfest.cs.aau.dk/",
}