- (Public). D0.3. Standards for the documentation
- D1.1. Report with the set of predicates that define the surgical environment.
- (Public). D1.3. Global architecture of the system.
- (Public). D1.4. Definition of the experimental set-up and the evaluation metrics.
- D2.1. Actuation rules in first order logic.
- D2.3. Simulator to emulate the sutures from a logic point of view.
- (Public). D3.1. Algorithm for medical image segmentation and labelling.
- (Public). D4.1. Report of the review task of New techniques for characterization of biological tissues.
- D5.1. List of high-level motion/force primitives.
- D7.1. Report on metrics for neurosurgery.
- D8.1. Report on the robot system: design specifications, kinematic model and fault tolerance.
- D8.2. Software developed for the kinematic simulation of the robot.
- (Public). D9.4. Report with the validation tests results for the scheduling module.
- (Public) D10.4. Report with the validation tests results for the control, coordination and supervision module.
- (Public) D11.2. Report with the results of the in-vitro experimentation.
- Experiment for autonomous bone milling
- Experiment for autonomous straight biopsy
- Experiment for autonomous tool navigation