Abstract is missing.
- Appropriate Design Guided by Simulation: An Hovercraft ApplicationJulien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot. 1-8 [doi]
- Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot InteractionsDejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder. 9-16 [doi]
- Model-driven Structural and Statistical Testing of Robot Cooperation and ReconfigurationFrancesca Saglietti, Matthias Meitner. 17-23 [doi]
- Stochastic Error Propagation Analysis of Model-driven Space Robotic Software Implemented in SimulinkAndrey Morozov, Klaus Janschek, Thomas Krüger, André Schiele. 24-31 [doi]
- Multi-Agent Plan Verification with Answer Set ProgrammingStephan Opfer, Stefan Niemczyk, Kurt Geihs. 32-39 [doi]
- A knowledge-based architecture supporting declarative action representation for manipulation of everyday objectsBinal Javia, Philipp Cimiano. 40-46 [doi]
- Domain-Specific Modeling for Robotics: From Language Construction to Ready-made Controllers and End-user ApplicationsVerislav Djukic, Aleksandar Popovic, Juha-Pekka Tolvanen. 47-54 [doi]
- Robot Quarter 4.0: An Urban Test Ground for Learning, Living, and Working with Service RobotsShifu Liu, Sebastian Wiesenhütter, Jörg Rainer Noennig. 55-60 [doi]