@misc{indiciaec5a97bfe9490,
  title = {Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids},
  author = {Thom S. Badings and Arnd Hartmanns and Nils Jansen and Marnix Suilen},
  year = {2021},
  doi = {10.1007/978-3-030-76384-8\_1},
  url = {https://arxiv.org/abs/2101.12496},
  note = {Source identifier: 2101.12496}
}