Publikationen

Seite 1 von 2.

Henry Carrillo; Oliver Birbach; Holger Täubig; Berthold Bäuml; Udo Frese; José A. Castellanos
On the Criteria for Configurations Selection in Robot Calibration
In: Proceedings of the IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-13), …
Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter
Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification
In: Autonomous Robots, Vol. 32, No. 3, Pages 303-331, Springer, 4/2012.
Holger Täubig; Udo Frese
A New Library for Real-time Continuous Collision Detection
In: Proceedings of the 7th German Conference on Robotics. German Conference on Robotics (ROBOTIK-2012), May 21-22, Munich, Germany, Pages 108-112, …
Holger Täubig; Berthold Bäuml; Udo Frese
Real-time Continuous Collision Detection for Mobile Manipulators - A General Approach
In: Proceedings of the IEEE-RAS International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-12), …
Holger Täubig; Berthold Bäuml; Udo Frese
Real-time Swept Volume and Distance Computation for Self Collision Detection
In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots …
Alexander Dietrich; Thomas Wimböck; Holger Täubig; Alin Albu-Schäffer; Gerd Hirzinger
Extensions to Reactive Self-Collision Avoidance for Torque and Position Controlled Humanoids
In: Proceedings of the International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-11), May …
Dennis Walter; Holger Täubig; Christoph Lüth
Experiences in Applying Formal Verification in Robotics
In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer …
Udo Frese; Holger Täubig
Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage
Deutsches Forschungszentrum für Künstliche Intelligenz, Robert-Hooke-Straße 5, 28359 Bremen. Research Report, Vol. RR0901, 2009.
Udo Frese; Holger Täubig
Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage
DFKI, DFKI Research Reports (RR), Vol. 09-01, 2009.
Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter
The Importance of Being Formal
In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International …