Publikationen

Zeige Ergebnisse 1 bis 3 von 3

In: Digitale Transformation von Dienstleistungen im Gesundheitswesen V. Kapitel 21 Seiten 413-435 ISBN 978-3-658-23986-2 Springer Nature 8/2019.

Zur Publikation

In: Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.

Zur Publikation

In: Proceedings of IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-11) May 9-15 Shanghai China Seiten 5147-5153 ISBN 978-1-61284-380-3 5/2011.

Zur Publikation

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