­Background Connected Autonomous Vehicles (CAVs) are expected to enable reliable and efficient transportation systems. Most cooperative driving approaches for CAVs and motion planning algorithms for multi-agent systems are not completely safe because they implicitly assume that all vehicles/agents will execute the expected plan within a small margin...