Holger Täubig

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Hand Eye Coordination

Early Diagnosis

Collision Detection

Top Venues

Publications

Henry Carrillo, Oliver Birbach, Holger Täubig, Berthold Bäuml, Udo Frese, José A. Castellanos
On task-oriented criteria for configurations selection in robot calibration. ICRA (2013)
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. Auton. Robots 32 (3) (2012)
Holger Täubig, Berthold Bäuml, Udo Frese
Real-time continuous collision detection for mobile manipulators - A general approach. Humanoids (2012)
Holger Täubig, Udo Frese
A New Library for Real-time Continuous Collision Detection. ROBOTIK (2012)
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. ICRA (2011)
Holger Täubig, Berthold Bäuml, Udo Frese
Real-time swept volume and distance computation for self collision detection. IROS (2011)
Dennis Walter, Holger Täubig, Christoph Lüth
Experiences in Applying Formal Verification in Robotics. SAFECOMP (2010)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
The Importance of Being Formal. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) (2008)