Probabilistic Decision-Making at Road Intersections: Formulation and Quantitative Evaluation | IEEE Conference Publication | IEEE Xplore