A Reinforcement Learning Algorithm for Safety Decision Making in Autonomous Driving Systems with Reward Machine Guidance | IEEE Conference Publication | IEEE Xplore