孙军
内容简介
题目
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.
时间安排
❖
时间:2023/07/15(周六) 上午9:30
❖
地点:复旦大学江湾校区二号交叉学科楼A2003