Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

Thom S. Badings Arnd Hartmanns Nils Jansen Marnix Suilen

Published in: CoRR (2021)

Keyphrases

model checking
wind speed
energy consumption
formal verification
energy efficient
database
neural network
real world
information retrieval
clustering algorithm
face verification
signature verification
concurrent systems
functional verification