Decision Making for Autonomous Vehicles at Signalized Intersection under Uncertain Traffic Signal Phase and Timing Information | IEEE Conference Publication | IEEE Xplore