Exploring Highway Overtaking and Lane Changing Based on Soft Actor Critic for Discrete Algorithm | IEEE Conference Publication | IEEE Xplore