Shared autonomous vehicles: Model formulation, sub-problem definitions, implementation details, and anticipated impacts | IEEE Conference Publication | IEEE Xplore