Yeah, I think there's certainly optimizations possible. Listening to ATC traffic, I'm surprised just how much of the ground ops stuff could be computerized: basically traffic signals for runways.

What you're describing almost sounds like TCAS, a collision avoidance system for planes in the air, and would be a good idea.

As for the redlights, yes, legally you would be required to stop if you're before the stop line. My language wasn't clear, as I was trying to describe those scenarios where a light's turning just as you're getting to/into the intersection. Some people will gun it to get through, others will jump on their brakes to not run what's technically a red.