Timed abstractions for distributed cooperative manipulation

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.