Breadcrumb Home News & Events Notice RITAS Technical Symposium (1st Session, 2025) RITAS Technical Symposium (1st Session, 2025) 2025-04-16 Notice Content View Count: 相关阅读 香港科技大学研究助理教授 Jialun Cao:Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs 麦吉尔大学助理教授魏莉力:Personality-Driven LLM Agents for Video Games 斯发基斯可信自主系统研究院技术研讨会(2025年第2期)