Development of an Algorithm for Estimating Subway Platform Congestion Using Public Transportation Card Data · Study