Robotics Innovation Center

Page 2 of 2.

1. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

   Formal Management of CAD/CAM Processes

   In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …

2. José de Gea Fernández; Johannes Lemburg; Thomas M. Roehr; Malte Wirkus; Iliya Gurov; Frank Kirchner

   Design and Control of an Intelligent Dual-Arm Manipulator for Fault-Recovery in a Production Scenario

   In: ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation. IEEE International Conference on …

• 1
• 2