Greener Bits: Formal Analysis of Demand Response.

Christel Baier, Sascha Klppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich

Browse the full ATVA paper archive.