Camera-ready Version
Please submit the camera-ready version to christian.piechnick@tu-dresden.de
Registration
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.
Hotels
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).
Check-In
The Workshop will take place in the Room 9 at the Congress Center Leipzig (CCL), which is next to the fair hall 2 (http://www.ccl-leipzig.de).
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.
Program
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 |
Internal
The PDF version of the papers are available here.