By Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)
This quantity features a number of revised papers that have been offered on the software program features of robot platforms, SARS 2011 Workshop and the computer studying for approach building, MLSC 2011 Workshop, held in the course of October 17-18 in Vienna, Austria, less than the auspices of the foreign Symposium sequence on Leveraging functions of Formal equipment, Verification, and Validation, ISoLA. the themes coated by means of the papers of the SARS and the MLSC workshop exhibit the breadth and the richness of the respective fields of the 2 workshops stretching from robotic programming to languages and compilation thoughts, to real-time and fault tolerance, to dependability, software program architectures, machine imaginative and prescient, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from computing device studying for anomaly detection, to version development in software program product strains to class of net carrier interfaces. additionally the SARS workshop hosted a different consultation at the lately introduced KOROS venture on taking part robotic platforms that's borne by means of a consortium of researchers of the colleges of structure and making plans, desktop technological know-how, electric engineering and data expertise, and mechanical and commercial engineering on the Vienna collage of expertise. The 4 papers dedicated to this consultation spotlight vital examine instructions pursued during this interdisciplinary examine project.