A neuro-symbolic safety guard is introduced, a lightweight module that attaches to the final command interface of an already-trained agent and checks the command against explicit safety rules and, only when necessary, replaces it with the nearest safe alternative.
Abstract
Modern end-to-end driving agents can achieve high average performance yet still violate basic traffic rules that a human driver would never miss. The reason is structural: they learn statistical patterns rather than the physical conditions that guarantee safe driving, leaving their decision-making process opaque and safety constraints unenforced. We introduce a neuro-symbolic safety guard, a lightweight module that attaches to the final command interface of an already-trained agent. Immediately before a command reaches the vehicle, it checks the command against explicit safety rules and, only when necessary, replaces it with the nearest safe alternative. Each intervention is directly executable and traceable to the rule that triggered it, while the guard itself requires no retraining and adds no learned component. Evaluated on the long-tail benchmarks Fail2Drive and Bench2Drive using the state-of-the-art TransFuser v6 (TFv6) as a case study, the guard improves Success Rate by 15% and reduces safety-critical collisions by up to 53%, while preserving the original Driving Score.
Deploying Vision-Language-Action (VLA) models in real-time autonomous driving faces two barriers: the difficulty of safety assurance for black-box end-to-end outputs, and inference tail latency far exceeding the 20 ms control deadline at 50 Hz, which causes stale decisions to produce dangerous actions. The 50 Hz Fast R...
Young-Hoon Suh, H. Park, H. Park et al.· International Conference on...· 0 citations
SafeBranch is proposed, a framework that aligns an embodied actor on safety through branch pairs constructed from the actor's own unsafe rollouts via environment rollback, achieving roughly ten times more safe successes than the untrained baseline on the unseen-object variant.
Hyunse Lee, Jiwoo Jeong, Haneul Lee et al.· 0 citations
A neuro-symbolic framework with three parts: an evolutionary PDDL planner, an LLM proposes and repairs plans, programmatic validators decide which ones survive, and the validated portion of the plan grows over iterations.
Bhavya Sai Nukapotula, Samin Moosavi, Haoze Wang et al.· arXiv.org· 0 citations
Foundation-model policies for robotic manipulation are advancing rapidly on task success, but rigorous evaluation of whether they succeed safely is still lacking. We introduce ManiGuard, a specification-grounded framework for evaluating and improving the safety of foundation-model manipulation, comprising the ManiGuard...
Yi Peng, Philip Wang, Simon Sinong Zhan et al.· 2 citations· ⚡1
Safety Sentry is instantiated, a lightweight guard model whose inference reduces to a single decoding call that outperforms a broad set of open-weight and frontier closed-source baselines on overall accuracy and safety-related recall, while controlling both directional error rates simultaneously.
This work removes a model's camera input and replaces it with memories from prior drives at the same location, suggesting that a high NAVSIM score does not require a planner to react to the current traffic scene and should be treated with caution.
Christian Löwens, Thorben Funke, Alexandru Condurache· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.