2024 年 2 月 9 日
金沙js9线路中心发表有关人工智能系统安全性的演讲
帕维特拉·普拉巴卡, 佩吉和加里·爱德华兹 (Peggy and Gary 金沙js9线路中心wards) 工程系主席兼 Carl R 计算机科学教授. 冰工程学院, 最近在马里兰大学学院公园分校博思艾伦汉密尔顿杰出研讨会系列中发表了题为“人工智能支持的网络物理系统的形式验证”的演讲.
基于人工智能的组件已成为机器人和金沙js9线路中心不可或缺的一部分，可实现变革性功能. 随着机器学习组件在感知中的普遍使用, 汽车和航空航天等安全关键应用领域的控制和决策, 对这些系统进行严格分析对于实际部署至关重要. Prabhakar 是人工智能自主和机器人系统设计方面的专家，她的演讲重点介绍了基于她实验室开发的数学基础的最先进技术，为这些系统的正确运行提供强有力的保证.
金沙js9线路中心还参观了马里兰大学的机器人设施，并与几位教师进行了互动. 她目前担任美国国家科学基金会项目总监，领导和管理人工智能领域的多个项目, 正式方法, 网络物理系统和机器人.