Holger Täubig

According to our database, Holger Täubig authored at least 9 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

On task-oriented criteria for configurations selection in robot calibration.

Henry Carrillo, Oliver Birbach, Holger Täubig, Berthold Bäuml, Udo Frese, José A. Castellanos

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

Guaranteeing functional safety: design for provability and computer-aided verification.

Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter

Auton. Robots, 2012

A New Library for Real-time Continuous Collision Detection.

Holger Täubig, Udo Frese

Proceedings of the ROBOTIK 2012, 2012

Real-time continuous collision detection for mobile manipulators - A general approach.

Holger Täubig, Berthold Bäuml, Udo Frese

Proceedings of the 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29, 2012

2011

Real-time swept volume and distance computation for self collision detection.

Holger Täubig, Berthold Bäuml, Udo Frese

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Extensions to reactive self-collision avoidance for torque and position controlled humanoids.

Alexander Dietrich, Thomas Wimböck, Holger Täubig, Alin Albu-Schäffer, Gerd Hirzinger

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010

Experiences in Applying Formal Verification in Robotics.

Dennis Walter, Holger Täubig, Christoph Lüth

Proceedings of the Computer Safety, 2010

2008

The Importance of Being Formal.

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter

Proceedings of the Software Engineering 2008, 2008