Proactive MDP-based collision avoidance algorithm for autonomous cars | IEEE Conference Publication | IEEE Xplore