CHAMP: Integrated Logic with Reinforcement Learning for Hybrid Decision Making for Autonomous Vehicle Planning | IEEE Conference Publication | IEEE Xplore