ATLAS (Autonomous Launch & Termination Architecture System) is a research autonomous flight software framework for reusable launch vehicles, integrating ARVS (Adaptive Robust Verification System) as a non-bypassable authority layer .
formal-verification ros2 safety-critical-systems real-time-control spacecraft-autonomy autonomous-flight-software
-
Updated
Mar 26, 2026 - C++