Formal methods techniques in robotics systems: Design and control

The second edition of our workshop at IROS 2024 is driven by the urgent need to tackle the intricate challenges encountered in the design and operation of robotic systems, particularly those used in safety-critical environments. In this context, building upon the successful foundation established in the previous year, we aim to set ambitious objectives to advance the interdisciplinary fields of robotics, formal methods, control theory, and artificial intelligence. Our primary focus is the integration of formal methods with control theory, which stands at the forefront of this endeavor, offering a robust framework for developing robotic systems that are not only efficient and reliable but also inherently safe. Our primary goals include fostering deeper interdisciplinary collaborations among experts to address these complex challenges in robotics. By facilitating such collaborations, we aim to create a platform where leading researchers and practitioners can share the latest advancements in designing provably correct controllers. This exchange of knowledge is crucial for encouraging innovative solutions that contribute to a unified theoretical framework addressing advanced robotics problems with practical, safe, and scalable solutions. This workshop is designed to showcase cutting-edge research in the field, highlighting the most recent developments and breakthroughs. We seek to facilitate the exchange of ideas among experts, creating an environment that inspires innovative solutions in the realm of robotics. By bringing together leading researchers and practitioners, we aspire to advance the field by discussing the potential of formal methods to enhance the design, analysis, and verification of robotic systems. Through this collaborative forum, we aim to identify emerging trends in the industry, address current challenges, and set the agenda for future research directions. Our discussions will focus on the development of sophisticated, safe, and reliable robotic systems, emphasizing the importance of formal methods in achieving these goals. We believe that by fostering a deep understanding of these interdisciplinary approaches, we can significantly contribute to the advancement of robotics. Ultimately, the workshop aims to create a dynamic and engaging environment where participants can explore new methodologies, share insights, and build partnerships. By addressing the pressing needs of the field and encouraging the exploration of innovative solutions, we hope to inspire the next generation of research and development in robotics. This workshop is not just a platform for presenting research but a catalyst for driving forward the boundaries of what is possible in the design and operation of robotic systems.