Agent-based simulation of CO2 emissions trading and large-scale traffic flow | IEEE Conference Publication | IEEE Xplore