ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs

von Strong, Christopher A.
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers

von Katz, Sydney M.
Veröffentlicht in AIAA Aviation Forum (2022 : Chicago, Ill.; Online) Aerospace traffic management (2022)