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 includes the post-conference proceedings of the 22nd RoboCup International Symposium, held in Montreal, QC, Canada, in June 2018. The 32 full revised papers and 11 papers from the winning teams presented were carefully reviewed and selected from 51 submissions. This book highlights the approaches of champion teams from the competitions and documents the proceedings of the 22nd annual RoboCup International Symposium. Due to the complex research challenges set by the RoboCup initiative, the RoboCup International Symposium offers a unique perspective for exploring scientific and engineering principles underlying advanced robotic and AI systems.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Collective Intelligence, ICCCI 2021, held in September/October 2021. The conference was held virtually due to the COVID-19 pandemic. The 58 full papers were carefully reviewed and selected from 230 submissions. The papers are grouped in topical issues on knowledge engineering and semantic web; social networks and recommender systems; collective decision-making; cooperative strategies for decision making and optimization; data mining and machine learning; computer vision techniques; natural language processing; Internet of Things: technologies and applications; Internet of Things and computational technologies for collective intelligence; computational intelligence for multimedia understanding.

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 constitutes the proceedings of the 25th RoboCup International Symposium which was held online during July 2022 in Bangkok, Thailand. The 28 full papers included in these proceedings were carefully reviewed and selected from 40 submissions; the volume includes 12 papers from the winners of the RoboCup 2022 competitions under the Champions Track. The RoboCup International Symposium focuses on the science behind the advances in robotics, including the key innovations that led the winning teams to their success, and the outcomes of research inspired by challenges across the different leagues at RoboCup.

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.