Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method Tags: Fair AssignmentFormal MethodsMulti-Agent SystemsRoutingAuctionAutomataDistributed Planning Read more about Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method