Engineering Reliable Autonomous Systems: Challenges and Solutions

• URL: http://arxiv.org/abs/2606.23760v2
• Date: Wed, 24 Jun 2026 10:55:55 GMT
• Title: Engineering Reliable Autonomous Systems: Challenges and Solutions
• Abstract summary: This report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems"<n>The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA)<n>It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges.
• Score: 21.752258274617223
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them reliably are increasingly important. This workshop report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges. The workshop focused on three main research topics: techniques for verification and validation of autonomous systems; engineering real-world autonomous systems; and software architectures for safe autonomous systems. Its main outcome is a catalogue of challenges in these areas and, most importantly, a pathway to solutions. Some challenges can already be tackled by techniques that are well known in academia but have not yet become regularly used in practice. Other challenges remain unresolved and require further research. This roadmap is intended to support future research and industrial collaboration.

Related papers

• Report on NSF Workshop on Science of Safe AI [75.96202715567088]
  New advances in machine learning are leading to new opportunities to develop technology-based solutions to societal problems.<n>To fulfill the promise of AI, we must address how to develop AI-based systems that are accurate and performant but also safe and trustworthy.<n>This report is the result of the discussions in the working groups that addressed different aspects of safety at the workshop.
  arXiv  Detail & Related papers  (2025-06-24T18:55:29Z)
• Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices [70.24403396375277]
  The "Greening AI with Software Engineering" CECAM-Lorentz workshop was held February 3-7, 2025 in Lausanne, Switzerland.<n>This report presents a research agenda emerging from the workshop.<n>It outlines open research directions and practical recommendations to guide the development of environmentally sustainable AI-enabled systems.
  arXiv  Detail & Related papers  (2025-06-02T15:19:49Z)
• From Automation to Autonomy: A Survey on Large Language Models in Scientific Discovery [67.07598263346591]
  Large Language Models (LLMs) are catalyzing a paradigm shift in scientific discovery.<n>This survey systematically charts this burgeoning field, placing a central focus on the changing roles and escalating capabilities of LLMs in science.
  arXiv  Detail & Related papers  (2025-05-19T15:41:32Z)
• Generative AI for Autonomous Driving: Frontiers and Opportunities [145.6465312554513]
  This survey delivers a comprehensive synthesis of the emerging role of GenAI across the autonomous driving stack.<n>We begin by distilling the principles and trade-offs of modern generative modeling, encompassing VAEs, GANs, Diffusion Models, and Large Language Models.<n>We categorize practical applications, such as synthetic data generalization, end-to-end driving strategies, high-fidelity digital twin systems, smart transportation networks, and cross-domain transfer to embodied AI.
  arXiv  Detail & Related papers  (2025-05-13T17:59:20Z)
• LLM4Drive: A Survey of Large Language Models for Autonomous Driving [62.10344445241105]
  Large language models (LLMs) have demonstrated abilities including understanding context, logical reasoning, and generating answers. In this paper, we systematically review a research line about textitLarge Language Models for Autonomous Driving (LLM4AD).
  arXiv  Detail & Related papers  (2023-11-02T07:23:33Z)
• AAAI 2022 Fall Symposium: Lessons Learned for Autonomous Assessment of Machine Abilities (LLAAMA) [1.157139586810131]
  Modern civilian and military systems have created a demand for sophisticated intelligent autonomous machines. These newer forms of intelligent autonomy raise questions about when/how communication of the operational intent and assessments of actual capabilities of autonomous agents impact overall performance. This symposium examines the possibilities for enabling intelligent autonomous systems to self-assess and communicate their ability to effectively execute assigned tasks.
  arXiv  Detail & Related papers  (2023-01-13T03:47:38Z)
• Proceedings Third Workshop on Formal Methods for Autonomous Systems [0.0]
  This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021) FMAS 2021 was an online, stand-alone event, as an adaptation to the ongoing COVID-19 restrictions. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods.
  arXiv  Detail & Related papers  (2021-10-22T00:09:27Z)
• Engineering Education in the Age of Autonomous Machines [1.2246649738388389]
  We advocate to create a cross-disciplinary program to expose students with technical background in computer science, computer engineering, electrical engineering, as well as mechanical engineering. A capstone project that provides students with hands-on experiences of working with a real autonomous vehicle is required to consolidate the technical foundation.
  arXiv  Detail & Related papers  (2021-02-16T00:44:14Z)
• Artificial Intelligence for IT Operations (AIOPS) Workshop White Paper [50.25428141435537]
  Artificial Intelligence for IT Operations (AIOps) is an emerging interdisciplinary field arising in the intersection between machine learning, big data, streaming analytics, and the management of IT operations. Main aim of the AIOPS workshop is to bring together researchers from both academia and industry to present their experiences, results, and work in progress in this field.
  arXiv  Detail & Related papers  (2021-01-15T10:43:10Z)
• Proceedings Second Workshop on Formal Methods for Autonomous Systems [0.0]
  The goal of FMAS is to bring together leading researchers who are tackling the challenges of autonomous systems using formal methods. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part.
  arXiv  Detail & Related papers  (2020-12-02T13:08:57Z)
• Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust [17.71048945905425]
  Autonomy is a broad and expansive capability that enables systems to behave without direct control by a human operator. The first workshop, held in October 2019, focused on current and anticipated challenges and problems in assuring autonomous systems. The second workshop held in February 2020, focused on existing capabilities, current research, and research trends that could address the challenges and problems identified in workshop.
  arXiv  Detail & Related papers  (2020-10-27T17:00:01Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.