我们的工作聚焦于智能系统（尤其是自动驾驶车辆）的安全性、验证与智能化。我们探索如何根据系统规约及真实世界的法规（如交通法规）对自动驾驶系统进行系统化的测试。研究内容涵盖：生成用于测试的、真实的且具有挑战性的安全关键场景，开发鲁棒的仿真环境，以及创造确保自治系统在复杂动态环境中可靠、安全运行的技术。