Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore