Utility-Aware Batch-Processing Algorithms for Dynamic Carpooling Based on Double Auction | IEEE Conference Publication | IEEE Xplore