Adopting linear optimization to support autonomous vehicles in smart city | IEEE Conference Publication | IEEE Xplore