TY - RPRT TI - A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform AU - Frederik Baymler Mathiesen AU - Garey Fleeman PY - 2020 UR - https://arxiv.org/abs/2011.00560 ID - 2011.00560 ER -