Agent-based traffic simulation and traffic signal timing optimization with GPU | IEEE Conference Publication | IEEE Xplore