GuardAD：基于马尔可夫安全逻辑防护自动驾驶 MLLM
GuardAD: Safeguarding Autonomous Driving MLLMs via Markovian Safety Logic
AI 导读
GuardAD 是模型无关的自动驾驶 MLLM 安全防护方法，将驾驶安全建模为演化的马尔可夫逻辑状态，实验中事故率降低 32.07%、任务性能小幅提升 6.85%。它以神经符号逻辑形式化和 n 阶马尔可夫逻辑归纳持续推导安全谓词，可推断单步观测之外的潜在风险。逻辑驱动动作修订无需改动底层 MLLM 即可修正动作，并经闭环仿真与实车验证。