Publikationen

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI) 31 2 Seiten 203-207 Springer Berlin Heidelberg 5/2017.

Zur Publikation

In: Rolf Drechsler , Ulrich Kühne . Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.

Zur Publikation

Bericht DFKI GmbH DFKI Documents (D) 14-07 11/2014.

Zur Publikation

In: Proceedings of the 22nd International Conference on Pattern Recognition. International Conference on Pattern Recognition (ICPR-2014) 22nd August 24-28 Stockholm Sweden Seiten 4564-4569 IEEE 8/2014.

Zur Publikation

In: Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in Control, Automation and Robotics (ICINCO-2013) July 29-31 Reykjavik Iceland Seiten 583-588 1 ISBN 978-989-8565-70-9 SciTePress Digital Library 7/2013.

Zur Publikation

In: Proceedings of International Conference on Intelligent Robotics and Applications 2012. International Conference on Intelligent Robotics and Applications (ICIRA-12) October 3-5 Montreal Québec Canada Seiten 486-495 ISBN 978-3-642-33514-3 Springer Berlin / Heidelberg 10/2012.

Zur Publikation

In: Proceedings of International Conference on Intelligent Robotics and Applications. International Conference on Intelligent Robotics and Applications (ICIRA-12) October 3-5 Montreal Québec Canada Seiten 87-98 7506 ISBN 978-3-642-33508-2 Springer 10/2012.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence