Camera-ready Version

Please submit the camera-ready version to


The registration can be done via Xing Events.

The workshop fee is 215,00€ covering the entrance to the workshop and Robocup 2016, lunch and coffee.

For authors, each accepted paper needs at least one full registration, before the camera-ready manuscript can be included in the proceedings. One registration covers the registration of the paper and the participation of one presenter.


For your stay during the MORSE Workshop and the Robocup Event we recommend the following hotels:


Workshop Location

MORSE16 is co-located with the RoboCup 2016 (30th June – 04th July, 2016; Messe Leipzig, Leipzig, Germany).

The workshop will take place at building CCL – “Congress Centre Leipzig” (Link to Area Plan) in room “Vortragsraum 9″ (Lecture Room 9).


The Workshop will take place in the Room 9 at the Congress Center Leipzig (CCL), which is next to the fair hall 2 (

In the CCL there will be a registration counter for “Conferences and Workshops”. All registered Particpants have to go there in order to get the badge and enter the fair area.


MORSE 1 – Simulation and Testing

09:30 – 10:00 Welcome and Introduction
10:00 – 10:30 Appropriate Design Guided by Simulation: An Hovercraft Application Julien Alexandre Dit Sandretto, Alexandre Chapoutot and Douglas Piccani de Souza
10:30 – 11:00 Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions Dejanira Araiza-Illan, Tony Pipe and Kerstin Eder
11:00 – 11:20 Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration Francesca Saglietti and Matthias Meitner
11:20 – 11:40 Break

MORSE 2 – Formal Methods

11:40 – 12:10 Stochastic Error Propagation Analysis of Model-driven Space Robotic Software Implemented in Simulink Andrey Morozov, Klaus Janschek, Thomas Krüger and André Schiele
12:10 – 12:40 Multi-Agent Plan Verification with Answer Set Programming Stephan Opfer, Stefan Niemczyk and Kurt Geihs
12:40 – 14:00 Lunch

MORSE 3 – Behavioural Modeling and Future Applications

14:00 – 14:30 A knowledge based architecture supporting declarative action representation for manipulation of everyday objects Binal Javia and Philipp Cimiano
14:30 – 15:00 Domain-Specific Modeling for Robotics – from language construction to ready-made controllers and end-user applications Verislav Djukić, Aleksandar Popovic and Juha-Pekka Tolvanen
15:00 – 15:30 ROBOT QUARTER 4.0: An Urban Testground for Living, Learning and Working with Service Robots Shifu Liu, Jörg Rainer Noennig and Sebastian Wiesenhütter
15:30 – 16:15 Panel Discussion – “Smart cities with smart robots”
16:15 – 16:30 Wrap-Up and Closing



The PDF version of the papers are available here.