104 Infos zu Holger Täubig

3 Aktuelle Nachrichten

GET Lab - Homepage, Grundlagen der Elektrotechnik, Universität Paderborn

Inf. Holger Täubig. Termine; Hinweise; Lernziele; Inhalte; Stellung im Studienplan; Voraussetzungen; Vorgehen; Periodizität ... › history › kog_sys

Am 5. Oktober findet der zehnte swb-Marathon statt. Ein optimales Training dafür gab es am Sonntag, als der dritte Vorbereitungslauf am Werdersee stattfand.

4 Profile in Sozialen Netzwerken

Holger Täubig. Entwickler für Algorithmen aus Robotik, Machine Learning und Bildverarbeitung. Ort Leipzig, Sachsen, Germany Branche IT und Services

上领英，在全球领先职业社交平台查看Holger Täubig的职业档案。Holger的职业档案列出了3 个职位。查看Holger的完整档案，结识职场人脉和查看相似公司的职位。

› author

› author

1 Business-Profile

Berufserfahrung, Kontaktdaten, Portfolio und weitere Infos: Erfahren Sie mehr – oder kontaktieren Sie Holger Täubig direkt bei XING.

2 Firmen-Mitarbeiter

von M LUCKCUCK · · Zitiert von: 205 — [172] Dennis Walter, Holger Täubig, and Christoph Lüth Experiences in applying formal verification in robotics. (LNCS), Vol Springer, 347–360. › pubs › a...

[C2] Alexander Dietrich, Thomas Wimböck, Holger Täubig, Alin Albu-Schäffer, and Gerd Hirzinger, "Extensions to Reactive Self-Collision Avoidance for Torque ... › staff › alexande...

2 Infos zur Ausbildung

von H ARAUJO · · Zitiert von: 1 — [219] Dennis Walter, Holger Täubig, and Christoph Lüth Experiences in applying formal verification in robotics. In International Conference on. › portal › files › Testing_...

Inf. Holger Täubig Dipl.-Ing. Henrik Vassmer Dr.-Ing. Nikolaus Voß Dipl.-Ing. Hongyu Wang M.Sc. Thomas Westfechtel. Stipendiaten: M.Sc. Dorid Kheirbek ... › team › alumni

9 Bücher zum Namen

Guaranteeing functional safety: design for provability and computer-aided verification | Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan...

PLISS: labeling places using online changepoint detection | Ananth Ranganathan | download | BookSC. Download books for free. Find books

Dietrich, Alexander, Thomas Wimböck, Holger Täubig, Alin Albu-Schäffer, and Gerd Hirzinger Extensions to Reactive Self-collision Avoidance for Torque ...

347 Dennis Walter, Holger Täubig, and Christoph Lüth Evolving a Safe System Design Iteratively Alexandre Mota, Joabe Jesus, ...

11 Dokumente

von A Blåberg · — [23] Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena. Vorobev, and Dennis Walter. “Guaranteeing functional safety: design ... › get › FULLTEXT01

› download › dreieckskonstruktionen...

von D Walter · · Zitiert von: 29 — Dennis Walter · Holger Täubig · Christoph Lüth. › doi

von M LUCKCUCK · · Zitiert von: 205 — [172] Dennis Walter, Holger Täubig, and Christoph Lüth Experiences in applying formal verification in robotics. (LNCS), Vol Springer, 347–360. › teaching › Papers

16 Wissenschaftliche Publikationen

› Persons

List of computer science publications by Holger Täubig

Bibliographic content of SAFECOMP 2010

In: Proceedings of the IEEE-RAS International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-12) ...

8 Allgemeine Veröffentlichungen

— Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, and Dennis. Walter. The importance of being formal. In Hardi Hungar, editor, ... › view

Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was...

[doi] · Real-time continuous collision detection for mobile manipulators - A general approachHolger Täubig, Berthold Bäuml, Udo Frese. › publication

Experiences in Applying Formal Verification in Robotics. Dennis Walter, Holger Täubig, Christoph Lüth. Pages › book

1 Meinungen & Artikel

Computer-Aided Verification" Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter.

46 Webfunde aus dem Netz

› citations

UDO FRESE, HOLGER TÄUBIG, DENNIS WALTER: "SAMS-Sicherheitskomponente für AutonomeMobile Serviceroboter", VDI BERICHT 2012, ROBOTIK 2008, ... › patent

› Mathematik › Geometrie

Z-Libraryته داخلیدل | Z-Library. Download books for free. Find books

Kostenlose Aufsätze, Hausaufgabenhilfe, Lernkarten, Forschungsarbeiten, Buchberichte, Hausarbeiten, Geschichte, Wissenschaft, Politik

7th German Conference on Robotics; A New Library for Real-time Continuous Collision Detection

Verkaufe 4 Stahlfelgen ohne Reifen, die ich ehemals auf einem BMW 320d E46 gefahren bin. Ich hatte...,4 Stahlfelgen BMW 3er Reihe 16 Zoll 7J x 16H2 in Leipzig...

... Florin Ciucu, Amir Mehmood, Andreas Wundsam, Slawomir Stanczak, Mario Goldenbaum, Holger Täubig, Alexander Scheidler, Thomas Wöhner, Peter Bank, ...

Real-time Continuous Collision Detection for Mobile Manipulators – A General Approach Holger Täubig Berthold Bäuml Udo Frese Cyber-Physical Systems, ... › Real_t...

Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter. مجله: Autonomous Robots. › ...

Ausgewählte Veröffentlichungen die im Zusammenhang mit Rollin' Justin stehen.

Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, more · Autonomous Robots > > 32 > 3 > When autonomous ...

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH Ausblick: Kollisionsvermeidung im dreidimensionalen Raum Udo Frese Holger Täubig Sichere ...

Experiences in Applying Formal Verification in Robotics Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche ... › ...

The Importance of Being Formal (Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter), In Proc. Workshop on Certification of ... › ~hau...

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

... Susanne Kürsten, Wolfgang Moldenhauer, Anja Pruchnewski, Sven Prüfer, Tobias Schoel, Uwe Schulze, Axel Schüler, Holger Täubig und Alexander Unger. › zeitschrift

Real-time continuous collision detection for mobile manipulators - A general approachHolger Täubig, Berthold Bäuml, Udo Frese. humanoids 2012:

... Serviceroboter Dr. Christoph Lüth, Dr. Udo Frese, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Fachbereich Sichere.

Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort,