Verifying the Safety of Autonomous Systems with Neural Network Controllers

机译：验证基于神经网络的商用制冰系统控制器

机译：验证基于神经网络的商用制冰系统控制器

机译：在非自治机械系统中使用神经网络控制器控制混沌

机译：带有神经网络控制器的分段线性系统的可到达集合估计和安全性验证

机译：基于神经网络的自治系统故障诊断方法的验证和确认问题。

机译：通过神经网络和比例控制器的平行结构控制气动肌动机系统（PNNP）

机译：用于基于神经网络的高保证系统自适应控制器的验证和确认工具

机译：使用可解释的人工智能来警告潜在风险情况来提供功能安全的学习方法和设备，以可解释的人工智能验证自动驾驶网络的检测过程，并使用它们。 Sting方法和测试装置{用于通过使用可解释的AI来提供关于潜在危险情况的警告驱动器提供功能安全的学习方法和学习设备，该方法验证自动驾驶网络的检测过程，以及使用相同的测试方法和测试设备}

机译：通过使用可解释的人工智能来警告驾驶员潜在风险状况的功能来提供安全性的学习方法和设备，这些人工智能可验证自动驾驶网络的检测过程，并使用此类学习设备。 ing的方法和测试设备{通过使用可行的AI来验证潜在危险情况，以警告驾驶员，以提供功能安全来学习功能和学习装置，并使用该工具进行测试，测试和测试

机译：自动驾驶安全检查复发性神经网络的学习方法和学习设备，以改变自主行驶模式与手动驱动模式之间的驱动模式，以及使用它们的测试方法和测试设备