TY - RPRT TI - CaRT: Certified Safety and Robust Tracking in Learning-based Motion Planning for Multi-Agent Systems AU - Hiroyasu Tsukamoto AU - Benjamin Rivière AU - Changrak Choi AU - Amir Rahmani AU - Soon-Jo Chung PY - 2023 UR - https://arxiv.org/abs/2307.08602 ID - 2307.08602 ER -