@misc{indiciae8b271a278e18,
  title = {Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach},
  author = {Nazir, Mohammad Nawaf [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)] and Adetola, Veronica A. [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)] and Litchfield, Samuel L. [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)]},
  year = {2026},
  doi = {10.2172/3020488},
  url = {https://www.osti.gov/biblio/3020488},
  note = {Source identifier: 3020488}
}