Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island