@misc{indiciae171de8191e1b,
  title = {Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System},
  author = {Kerianne L. Hobbs and Benjamin K. Heiner and Lillian Busse and Kyle Dunlap and Jonathan Rowanhill and Ashlie B. Hocking and Aditya Zutshi},
  year = {2022},
  doi = {10.2514/6.2023-2664},
  url = {https://arxiv.org/abs/2209.00552},
  note = {Source identifier: 2209.00552}
}