Formal Modelling for Multi-Robot Systems Under Uncertainty

no code implementations • 26 May 2023 • Charlie Street, Masoumeh Mansouri, Bruno Lacerda

Purpose of Review: To effectively synthesise and analyse multi-robot behaviour, we require formal task-level models which accurately capture multi-robot execution.

A Constraint Programming Approach to Simultaneous Task Allocation and Motion Scheduling for Industrial Dual-Arm Manipulation Tasks

1 code implementation • 23 Jan 2019 • Jan Kristof Behrens, Ralph Lange, Masoumeh Mansouri

Modern lightweight dual-arm robots bring the physical capabilities to quickly take over tasks at typical industrial workplaces designed for workers.

Robotics