Smart cities are full of sensors and collect large amounts of data. One reason for doing so is to get real-time information about traffic flows. A next step is to steer the traffic in a way that co…