Formalizing traffic rules for uncontrolled intersections | IEEE Conference Publication | IEEE Xplore