Agent-based model of highway traffic: Reduction in driving efficiency with density | IEEE Conference Publication | IEEE Xplore