Specification-based autonomous driving system testing

Y Zhou, Y Sun, Y Tang, Y Chen, J Sun… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before
they can be deployed. High-fidelity simulators such as CARLA or LGSVL allow this to be …

Specification-based autonomous driving system testing

Y ZHOU, Y SUN, Y TANG, Y CHEN… - IEEE Transactions …, 2023 - ink.library.smu.edu.sg
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before
they can be deployed. High-fidelity simulators such as CARLA or LGSVL allow this to be …

[PDF][PDF] Specification-based Autonomous Driving System Testing

Y Zhou, Y Sun, Y Tang, Y Chen, J Sun, CM Poskitt… - cposkitt.github.io
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before
they can be deployed. High-fidelity simulators such as CARLA or LGSVL allow this to be …

Specification-Based Autonomous Driving System Testing

Y Zhou, Y Sun, Y Tang, Y Chen, J Sun… - IEEE Transactions on …, 2023 - dl.acm.org
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before
they can be deployed. High-fidelity simulators such as CARLA or LGSVL allow this to be …

Specification-Based Autonomous Driving System Testing

Y Zhou, Y Sun, Y Tang, Y Chen, J Sun… - IEEE Transactions on …, 2023 - computer.org
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before
they can be deployed. High-fidelity simulators such as CARLA or LGSVL allow this to be …