Verification of genetic algorithm in dynamic traffic light management | IEEE Conference Publication | IEEE Xplore