Well, how are they going to "fix it" when their system is an "end to end neural net"? It's a black box. There's no code to update to tell it to behave differently during red lights.
It's not a total black box. Even as the driver you have the speed profiles, follow distance, and speed limit settings. I wouldn't be surprised if they still have deterministic code for how to handle traffic lights.
You can increase the penalty for running a red or increasing the relative sample of red light stops present in the real and synthetic training data. You can use neural net analysis techniques to confirm that features like color and stoplights are being recognized.
You confirm it is fixed by ensuring your validation set also has sufficient data representing the failures (and that they now succeed).