One-to-many matching and section-based formulation of autonomous ridesharing equilibrium. (January 2022)