普渡大学Aniket Bera教授：可靠自主机器人的「安全阀」，藏在“可检查接口”里 | ICRA 2026

普渡大学Aniket Bera教授在ICRA 2026演讲中提出“学习负责提议，结构负责决策”框架，主张学习型模块须先通过可被形式化方法验证的“可检查接口”再输出控制指令。其IDEAS实验室的SELP（ICRA 2025最佳论文入围）通过在生成过程中实时屏蔽违反时序逻辑规范的token，让LLM输出天然安全。