Publications

In: Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems. Graduate School System Design (SyDe-2015) September 9-11 Bremen Germany Pages 311-313 Lecture Notes in Computer Science (LNCS) Springer Fachmedien Wiesbaden Wiesbaden 9/2015.

To the publication

In: Proceedings of the 11. Berliner Werkstatt Mensch-Maschine-Systeme (BWMMS), 2015. Berliner Werkstatt Mensch-Maschine-Systeme (BWMMS) 11. October 7-9 Berlin Germany BWMMS 2015.

To the publication

In: Proceedings of the International Congress on Neurotechnology, Electronics and Informatics (http://www.neurotechnix.org/). International Congress on Neurotechnology, Electronics and Informatics (NEUROTECHNIX-2015) November 16-17 Lissabon Portugal Pages 68-75 SciTePress 2015.

To the publication

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