A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving | IEEE Conference Publication | IEEE Xplore