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…