Breadcrumb Home News & Events Notice Industrial AI(Nov.3-5,SUSTech) Industrial AI(Nov.3-5,SUSTech) 2025-10-24 Notice Content View Count: 相关阅读 香港科技大学研究助理教授 Jialun Cao:Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs 东京大学副教授马雷:Trustworthiness Assurance of Intelligent Systems in the Age of Al Agents 斯发基斯可信自主系统研究院技术研讨会(2025年第4期)