《关闭小说畅读模式体验更好》

        第589章入伙

        “陈总，您刚才提到的，是算法功能层面的建模和实现。

        但我认为，离散数学在智能驾驶领域，还有一个极其关键、甚至可以说是性命攸关的应用点。”

        他顿了顿，目光扫过顾南舟，最后定格在陈默脸上，“形式化验证（FOrmalVerifiCatiOn）。”

        “尤其是对行为决策系统。”

        蒋雨宏的语气带着金属般的质感。

        “我们如何确保设计的决策逻辑，在无限复杂的现实场景中，不会出现致命漏洞？

        如何证明我们的系统，在理论上就满足某些最核心的安全属性？

        比如，‘永远不发生碰撞’（COlliSiOn-Free），‘永远遵守交通规则’（RUleplianCe）？”

        他说话的时候配合上手势和动作，像极了一个指挥家：

        “这就需要用时序逻辑（TempOralLOgiC），比如线性时序逻辑（LTL-LiempOralLOgiC）或计算树逻辑（CTL-pUtatiOnTreeLOgiC），来精确地形式化描述这些安全属性。

        内容未完，下一页继续阅读