A TAXONOMY FOR AEROSPACE COLLISION AVOIDANCE WITH IMPLICATIONS FOR AUTOMATION IN SPACE TRAFFIC MANAGEMENT

von Hobbs, Kerianne L.
Veröffentlicht in AIAA SciTech Forum and Exposition (2020 : Orlando, Fla.) Intelligent systems ; Volume 1 of 2 (2020)

Run Time Assured Reinforcement Learning for Safe Satellite Docking

von Dunlap, Kyle
Veröffentlicht in AIAA SciTech Forum and Exposition (2022 : San Diego, Calif.; Online) Intelligent systems ; Volume 2 of 2 (2022)

RISK-BASED FORMAL REQUIREMENT ELICITATION FOR AUTOMATIC SPACECRAFT MANEUVERING

von Hobbs, Kerianne L.
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 3 of 3 (2021)

Formal Verification of System States for Spacecraft Automatic Maneuvering

von Hobbs, Kerianne L.
Veröffentlicht in AIAA SciTech Forum and Exposition (2019 : San Diego, Calif.) Intelligent systems ; Volume 2 of 2 (2019)

VERIFICATION OF NEURAL NETWORK COMPRESSION OF ACAS XU LOOKUP TABLES WITH STAR SET REACHABILITY

von Lopez, Diego Manzanas
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System

von Hobbs, Kerianne L.
Veröffentlicht in AIAA SciTech Forum (2023 : National Harbor, Md.; Online) Intelligent systems ; Volume 3 of 3 (2023)