关于自动驾驶学习 1

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria

人工智能混合动力车的伪造由时间感知所引导的控制系统覆盖范围标准

伪造是CPS质量保证的一种既定方法，它不是试图证明系统的正确性，而是寻找违反描述所需行为的正式规范的时变输入信号；它通常采用基于搜索的测试方法，试图最小化规范的鲁棒性，由其定量语义给出。然而，鲁棒性提供的指导大多是黑盒，只与系统输出相关，但不允许理解神经网络控制器多次连续执行所决定的时间内部行为是否得到了充分的探索。