Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications | IEEE Conference Publication | IEEE Xplore