A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform. - Frederik Baymler Mathiesen; Garey Fleeman (CoRR, 2020)