Summary
This report will present the formal properties of the path planners and trajectory generators developed for the SOLOSURGERY platform on the basis of detailed simulations and data collected during the MULTIROBOTSSURGERY