7 citations · 7 across the 2 of their papers we have counts for
2 papers
eess.SY2023
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
Jonathan Rowanhill, Ashlie B. Hocking, Aditya Zutshi +1
Recent advances in artificial intelligence and machine learning may soon yield paradigm-shifting benefits for aerospace systems. However, complexity and possible continued on-line…
eess.SY2022★ 7 cited
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse +4
This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neur…