Researchers at MIT and ETHZ have developed a working mathematical model for slot-based intersections. If successful, traffic efficiency would double and pollution would be greatly reduced.