@misc{https://doi.org/10.4121/14185139.v1,
  doi = {10.4121/14185139.v1},
  url = {https://data.4tu.nl/articles/dataset/Balancing_Wind_and_Batteries_Towards_Predictive_Verification_of_Smart_Grids_Artifact_/14185139/1},
  author = {Badings, Thom S.},
  keywords = {smart grids, Markov decision process, formal methods, model-predictive control, probabilistic model checking},
  title = {Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {CC BY 4.0},
}