A Demand Truncation and Migration Poisson Model for Real Demand Inference in Free-Floating Bike-Sharing System · Study