Precise and Efficient Collision Prediction under Uncertainty in Autonomous Driving