机译:自动驾驶飞船?验证AI的挑战将按预期进行
机译:贝叶斯统计框架在行星保护中的应用作为验证低生物量的手段,来自航天器的零充气测试数据
机译:图形神经网络挑战:网络中AI / ML的教育竞争激烈
机译:用于提前验证,验证和认证的非确定性,基于AI的算法的新框架,以为安全关键应用
机译:用于机器学习编排的基于云的AI框架:无人驾驶汽车的“驾驶或不驾驶”案例研究
机译:用PI-Calmulus说明工作流程开发和验证的AI
机译:微处理器架构的进步 - 无处不在的AI概述了AI实施中的历史演化和即将到来的挑战
机译:撤回:选择轴向未冷却涡轮机的工作过程的数值模型的参数选择,用于执行优化和验证计算
机译:航天器命令验证:aI解决方案