SafetyAccountabilityTransparencycs.SE
Regret Dominates Surprise: Design-Time Requirements Engineering for Agentic-AI Safety
Nuwayyir Almohammadi, Rami Bahsoon, Tao Chen
September 4, 2026
Key Takeaways
-
Regret-based decision-making outperforms surprise-only approaches: The paper's Regret-Dominance Mechanism (MS-RGR) reduced "silent failures" (undetected safety problems) to near-zero and detected risks approximately 17.5 times faster than systems relying only on sensor data, suggesting that AI agents should evaluate both unexpected situations and potential negative consequences when deciding whether to act autonomously.
-
AI safety requires three-way decision points, not binary choices: Rather than simply deciding "act or don't act," the research identifies a critical trilemma where autonomous agents should choose between routine operation, pausing for careful reasoning, or escalating to human oversight—a framework applicable across domains like elderly care monitoring and autonomous driving.
-
Safety mechanisms cannot compensate for weak foundational training: Testing across 208 harmful task scenarios with seven large language models revealed that MS-RGR only improved safety outcomes for models already demonstrating strong baseline safety (over 80% refusal rates), improving from 84.1% to 90.9%—indicating that design-time safety constraints amplify rather than substitute for robust model-level safety training.
-
Formal verification remains possible with safety mechanisms: The approach maintains formal traceability through LTL (Linear Temporal Logic) safety properties, meaning engineers can mathematically verify that safety constraints are working as intended—important for high-stakes applications like autonomous vehicles.
-
Current requirements engineering frameworks are insufficient for autonomous AI: Mainstream approaches like Goal-Oriented Requirements Engineering lack systematic mechanisms to handle the uncertainty inherent in autonomous systems, necessitating new design methodologies specifically for agentic AI.