Primary Keywords: Multi-Robot Systems; Motion Control; Motion and Path Planning; Distributed Robot Systems; Autonomous Vehicle Navigation; Collision Avoidance

Secondary Keywords: Formal Methods in Robotics and Automation; Model Learning for Control; Aerial Systems

July 1, 2024 – June 30, 2027