@misc{indiciae41da01cfa323,
  title = {Assurance of Reasoning Enabled Systems (ARES)},
  author = {Marquez, Andres and Fujimoto, Ted C. and Stavenger, Timothy J.},
  year = {2024},
  doi = {10.2172/2455011},
  url = {https://www.osti.gov/biblio/2455011},
  note = {Source identifier: 2455011}
}