Verification of Networks of Smart Energy Systems over the Cloud.

Alessandro Abate

Published in: NSV@CAV (2016)

Keyphrases

complex systems
management system
distributed systems
learning systems
artificial intelligence
image segmentation
energy minimization
network size
asynchronous circuits
power grids