This book constitutes the refereed proceedings of the 4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2014, held in Bergamo, Italy, in October 2014.
The 49 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on simulation, modeling, programming, architectures, methods and tools, and systems and applications.
Davide Brugali
autonomous behavior component-based robotic framework component-based robotic framework distributed computing formal verification healthcare robot system humanoid middleware model-checking multimodal perception optimization algorithms robotic cloud safe navigation semantic Web software architecture