This book includes the post-conference proceedings of the 20th RoboCup International Symposium, held in Leipzig, Germany, in July 2016. In addition to the 38 contributions to the symposium, selected from 63 submissions, the book also contains 15 champion papers of teams winning individual leagues of the RoboCup 2016 competition, the Amazon Picking Challenge, and the Harting Open Source Award. The papers present current research in the fields of robotics and artificial intelligence with a special focus to robot hardware and software, environment perception, action planning and control, robot learning, multi-robot systems, and human-robot interaction.

This book includes the post-conference proceedings of the 21st RoboCup International Symposium, held in Nagoya, Japan, in September 2017. The 33 full revised papers and 9 papers from the winning teams presented were carefully reviewed and selected from 58 submissions. The papers are orginazed on topical sections on Robotics, Artificial intelligence, Environment perception, State estimation and much more.

This book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software development step. The challenge today is more about adapting solutions from one language to another, or from one domain to another. The relative validation of the reused artifacts in their new environment is also necessary, at time even critical. The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.

This book consists of a collection of the high-quality research articles in the field of computer vision and robotics which are presented in the International Conference on Computer Vision and Robotics (CVR 2021), organized by BBD University Lucknow, India, during 7–8 August 2021. The book discusses applications of computer vision and robotics in the fields like medical science, defence, and smart city planning. The book presents recent works from researchers, academicians, industry, and policy makers.

The book reports on cutting-edge theories and methods aimed at the control and coordination of agents acting and moving in a dynamic environment. It covers a wide range of systems, including multiagent systems, domotic agents, robotic manipulators, soccer robots, autonomous and semiautonomous robots, as well as systems for industrial applications. Advances in software agents, sensors, computer visions and other related areas are also thoroughly discussed and presented in detail. Based on the 19th edition of the International Workshop of Physical Agents (WAF 2018), held on November 22-23, 2018, in Madrid, Spain, this book offers a snapshot of the state-of-the-art in the field of physical agents, with a special emphasis on autonomous systems such as mobile robots, industrial process or other complex systems.

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

This book is a compilation of advanced research and applications on robotic item picking and warehouse automation for e-commerce applications. The works in this book are based on results that came out of the Amazon Robotics Challenge from 2015-2017, which focused on fully automated item picking in a warehouse setting, a topic that has been assumed too complicated to solve or has been reduced to a more tractable form of bin picking or single-item table top picking. The book’s contributions reveal some of the top solutions presented from the 50 participant teams. Each solution works to address the time-constraint, accuracy, complexity, and other difficulties that come with warehouse item picking. The book covers topics such as grasping and gripper design, vision and other forms of sensing, actuation and robot design, motion planning, optimization, machine learning and artificial intelligence, software engineering, and system integration, among others. Through this book, the authors describe how robot systems are built from the ground up to do a specific task, in this case, item picking in a warehouse setting. The compiled works come from the best robotics research institutions and companies globally.