机构名称：
¥ 1.0
•邀请了关于建模，估算和控制会议（MECC）2024的培训和验证培训和验证的教程课程。•邀请的演讲，标题为“α，β -Crown：具有控制和计划中应用的神经网络的正式验证框架”，在Informs年度会议上，2024年。•邀请的谈话，标题为“α，β-克罗：一个具有控制和计划中应用的神经网络的正式验证框架”，在空中交通工程中的自动驾驶汽车中心（AVIATE），2024年。•邀请的谈话，标题为“在神经网络验证中解决大规模的非凸优化问题”，信息优化社会会议，2024年。•第一和第二届机器学习正式验证的研讨会的共同组织者”，与国际机器学习会议（ICML）2022，2023。•与国际学习表现会议（ICLR）2022。
Huan Zhang div>Huan Zhang div>
主要关键词
相关文件推荐
