Shortening Passengers’ Travel Time: A Dynamic Metro Train Scheduling Approach Using Deep Reinforcement Learning | IEEE Journals & Magazine | IEEE Xplore