7 citations · 11 across the 3 of their papers we have counts for
3 papers
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…
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…
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
Chuchu Fan, Xin Qin, Yuan Xia +2
In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems,…