Safe Multi-Agent Pathfinding with Time Uncertainty. - Tomer Shahar; Shashank Shekhar 002; Dor Atzmon; Abdallah Saffidine; Brendan Juba; Roni Stern (J. Artif. Intell. Res., 2021)