#runtime-safety News & Analysis

2 articles tagged with #runtime-safety. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · May 287/10

🧠

LACUNA: Safe Agents as Recursive Program Holes

LACUNA is a new programming model that allows LLM agents to write code that shapes their own runtime environment while maintaining safety through type-checking and validation. The system rejects unsafe code before execution and uses compiler diagnostics to drive retries, achieving competitive performance on benchmark tests while preventing prompt injection and tool misuse attacks.

AINeutralarXiv – CS AI · Jun 256/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.