活动预告丨CodeWisdom可信AI系列学术报告：第7期（孙军新加坡管理大学）

最新推荐文章于 2025-06-30 14:34:16 发布

转载最新推荐文章于 2025-06-30 14:34:16 发布 · 254 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247502956&idx=1&sn=64b529080b962bb397c378a0934f02b1&chksm=fd95054ecae28c584aba93b716d6f026385a0cc277466308019486428089f77096c1f0ff11d1&scene=126&sessionid=0

该工作聚焦于使自动驾驶汽车几乎始终遵守国家交通法规，通过形式化方法将法规纳入车辆行为规范，以增强道路安全。报告人孙军是新加坡管理大学教授，他的研究兴趣包括形式化方法、程序分析和AI安全，并创立了PAT模型检查器。

部署运行你感兴趣的模型镜像

孙军

内容简介

题目

Towards Always Law-Abiding Self-Driving

摘要

How should an autonomous vehicle behave on the road besides causing no accidents and reaching the destination? Fortunately, rich sets of criteria for how a vehicle should undertake a journey already exist: the various national traffic laws. In addition to avoiding collisions, an autonomous vehicle should satisfy the traffic laws of the country it operates in. Until we design new traffic laws specifically for autonomous vehicles, existing traffic laws remain the gold standard for ensuring road safety. The question is then: how do we systematically make sure that an autonomous vehicle almost always abides the traffic laws? In this work, I will introduce our recent effort on formalizing national traffic laws and use it to enforce desirable self-driving automatically.

报告人

SUN, Jun is currently a professor at Singapore Management University (SMU). He received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. He has been a faculty member since 2010. He has received the prestigious LEE KUAN YEW fellowship twice in 2007 and 2022. Jun's research interests include formal methods, program analysis and lately AI security. He is the co-founder of the PAT model checker. He has many top-tier publications, best paper awards, and still enjoys programming.