Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System. - Kerianne L. Hobbs; Benjamin K. Heiner; Lillian Busse; Kyle Dunlap; Jonathan C. Rowanhill; Ashlie B. Hocking; Aditya Zutshi 003 (CoRR, 2022)

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. - Jonathan C. Rowanhill; Ashlie B. Hocking; Aditya Zutshi 003; Kerianne L. Hobbs (CoRR, 2023)