|
[BKdM+16]
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier and Sascha Wunderlich.
Greener Bits: Formal Analysis of Demand Response.
In Proc. 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), pages 323-339, Springer.
2016.
[Develops formal techniques for managing demand response in power generation, including a probabilistic analysis using PRISM.
]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|