AINeutralarXiv – CS AI · 6h ago6/10
🧠
Reliability-Asymmetric Spacecraft Autonomy: Co-Designing a Capable Learned GNC Stack with a Verified, Adaptation-Aware Runtime Shield
Researchers present AMPLE-GNC, an autonomous spacecraft control system that combines learned AI models with formal verification to achieve both capability and safety. The system successfully demonstrates fault-adaptive control recovering from 97.8% of actuator faults while maintaining 94.5% autonomous operation under a verified safety shield.