2025年9月，实验室刘璐博士撰写的论文” Enhanced Verification of Safety and Security for Advanced Driver Assistance Systems” 被期刊Reliability Engineering & System Safety (影响因子11.0) 录用。
“Enhanced Verification of Safety and Security for Advanced Driver Assistance Systems” 该研究针对自动驾驶辅助系统在面对网络攻击和复杂交通环境时的安全性与可靠性问题，提出了一种“验证+证伪”的混合方法：首先利用形式化的混杂自动机模型和可达集分析进行安全性验证，再结合强化学习技术高效挖掘潜在的不安全场景。实验结果表明，该方法在准确性、效率和泛化能力上均优于传统方法，为智能网联汽车的安全保障提供了新的理论框架与技术工具。
论文研究得到了国家自然科学基金项目（62320106005，62127808）的资助。
