Applications of Auction and Mechanism Design in Edge Computing: A Survey | Synapse