Control of dynamic ride-hailing networks with a mixed fleet of autonomous vehicles and for-hire human drivers