TY - RPRT TI - Formalizing Traffic Rules for Machine Interpretability AU - Klemens Esterle AU - Luis Gressenbuch AU - Alois Knoll PY - 2020 DO - 10.1109/cavs51000.2020.9334599 UR - https://arxiv.org/abs/2007.00330 ID - 2007.00330 ER -