Abstract: In electronic autonomous vehicles (AVs), provable and explainable safety becomes the critical protection for their consumers. While traditional safety test schemes can detect the unsafe ...