Formalizing Traffic Rules for Machine Interpretability | IEEE Conference Publication | IEEE Xplore