本论文提出了一种验证自动驾驶系统安全特性的实用方法，通过建立代理模型描述交通场景下的行为，并探索危险驾驶的参数空间。通过评估多个模拟交通场景，展示了该方法的实用性。

本论文提出了一种验证自动驾驶系统安全的方法，通过建立代理模型来描述交通场景下的行为，并证明安全特性以保证性能。同时，探索了危险驾驶的安全和不安全参数空间，并通过评估多个模拟交通场景展示了方法的实用性。

本论文提出了一种验证自动驾驶系统安全特性的实用方法，通过建立代理模型描述交通场景下的行为，并探索危险驾驶的参数空间。通过评估多个模拟交通场景，展示了该方法的实用性。