Timed abstractions for distributed cooperative manipulation

<p>The video presents a simulation experiment in the V-REP environment&nbsp; of the timed abstractions notion of cooperative manipulation. More specifically, given a discrete partition of the workspace,&nbsp; a timed plan is derived over this partition that satisfies a Metric Interval Temporal Logic (MITL) formula for an object.&nbsp; 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.</p>