Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Browse the full ISoLA paper archive.