Double Auction-Based Pricing Mechanism for Autonomous Vehicle Public Transportation System | IEEE Journals & Magazine | IEEE Xplore