The video presents a simulation experiment in the V-REP environment of the timed abstractions notion of cooperative manipulation. More specifically, given a discrete partition of the workspace, a timed plan is derived over this partition that satisfies a Metric Interval Temporal Logic (MITL) formula for an object. Two robotic agents transport the object cooperatively among the partitioned regions in a distributed manned, without communicating with each other, according to the derived timed plan.

{"references": ["C. K. Verginis, Z. Xu and D. V. Dimarogonas, \" Decentralized Motion Planning with Collision Avoidance for a Team of UAVs under High Level Goals\" , IEEE Conference on Robotics and Automation, 2017."]}