中文
相关论文

相关论文: Trust and Safety

200 篇论文

System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-rapid system development, while others are the familiar,…

软件工程 · 计算机科学 2021-01-15 Robin Bloomfield , John Rushby

While artificial intelligence (AI) is advancing rapidly and mastering increasingly complex problems with astonishing performance, the safety assurance of such systems is a major concern. Particularly in the context of safety-critical,…

人工智能 · 计算机科学 2025-07-01 Lars Ullrich , Walter Zimmer , Ross Greer , Knut Graichen , Alois C. Knoll , Mohan Trivedi

Algorithms are becoming more widely used in business, and businesses are becoming increasingly concerned that their algorithms will cause significant reputational or financial damage. We should emphasize that any of these damages stem from…

计算机与社会 · 计算机科学 2021-07-30 Ramya Akula , Ivan Garibay

The Robot Operating System (ROS) is a widely used framework for building robotic systems. It offers a wide variety of reusable packages and a pattern for new developments. It is up to developers how to combine these elements and integrate…

多智能体系统 · 计算机科学 2022-09-29 Yi Yang , Tom Holvoet

Artificial Intelligence (AI) algorithms are increasingly providing decision making and operational support across multiple domains. AI includes a wide library of algorithms for different problems. One important notion for the adoption of AI…

人工智能 · 计算机科学 2021-11-16 Feras A. Batarseh , Laura Freeman

The Robust Artificial Intelligence System Assurance (RAISA) workshop will focus on research, development and application of robust artificial intelligence (AI) and machine learning (ML) systems. Rather than studying robustness with respect…

人工智能 · 计算机科学 2022-02-11 Olivia Brown , Brad Dillman

Robot accidents are inevitable. Although rare, they have been happening since assembly-line robots were first introduced in the 1960s. But a new generation of social robots are now becoming commonplace. Often with sophisticated embedded…

机器人学 · 计算机科学 2020-05-18 Alan F. T. Winfield , Katie Winkle , Helena Webb , Ulrik Lyngs , Marina Jirotka , Carl Macrae

As artificial intelligence continues to advance and becomes more integrated into sensitive areas like healthcare, education, and everyday life, it's crucial for these systems to be both resilient and robust. This paper shows how resilience…

机器人学 · 计算机科学 2025-10-27 Domenico Palmisano , Giuseppe Palestra , Berardina Nadja De Carolis

The recent revolution of intelligent systems made it possible for robots and autonomous systems to work alongside humans, collaborating with them and supporting them in many domains. It is undeniable that this interaction can have huge…

机器人学 · 计算机科学 2020-11-03 Basel Alhaji , Andreas Rausch , Michael Prilla

As robots find their way into more and more aspects of everyday life, questions around trust are becoming increasingly important. What does it mean to trust a robot? And how should we think about trust in relationships that involve both…

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses…

软件工程 · 计算机科学 2019-11-06 Mario Gleirscher , Simon Foster , Jim Woodcock

This paper identifies the current challenges of the mechanisation, digitisation and automation of public sector systems and processes, and proposes a modern and practical framework to ensure and assure ethical and high veracity Artificial…

Human-technology interaction deals with trust as an inevitable requirement for user acceptance. As the applications of artificial intelligence (AI) and robotics emerge and with their ever-growing socio-economic influence in various fields…

人机交互 · 计算机科学 2022-05-10 Newsha Emaminejad , Reza Akhavian

Assuring safety for ``AI-based'' systems is one of the current challenges in safety engineering. For automated driving systems, in particular, further assurance challenges result from the open context that the systems need to operate in…

系统与控制 · 电气工程与系统科学 2025-07-29 Marcus Nolte , Nayel Fabian Salem , Olaf Franke , Jan Heckmann , Christoph Höhmann , Georg Stettinger , Markus Maurer

This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic Autonomy in Demanding and Long-Lasting Environments (CRADLE)…

机器人学 · 计算机科学 2025-01-31 Dhaminda B. Abeywickrama , Michael Fisher , Frederic Wheeler , Louise Dennis

We draw on our experience working on system and software assurance and evaluation for systems important to society to summarise how safety engineering is performed in traditional critical systems, such as aircraft flight control. We analyse…

计算机与社会 · 计算机科学 2025-02-07 Robin Bloomfield , John Rushby

Robots applications in our daily life increase at an unprecedented pace. As robots will soon operate "out in the wild", we must identify the safety and security vulnerabilities they will face. Robotics researchers and manufacturers focus…

机器人学 · 计算机科学 2021-11-18 Michele Colledanchise

The challenge of establishing assurance in autonomy is rapidly attracting increasing interest in the industry, government, and academia. Autonomy is a broad and expansive capability that enables systems to behave without direct control by a…

计算机与社会 · 计算机科学 2020-10-28 Ufuk Topcu , Nadya Bliss , Nancy Cooke , Missy Cummings , Ashley Llorens , Howard Shrobe , Lenore Zuck

Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies that underpin them continue to advance, these systems will…

In 2018 the European Commission highlighted the demand of a human-centered approach to AI. Such a claim is gaining even more relevance considering technologies specifically designed to directly interact and physically collaborate with human…

机器人学 · 计算机科学 2021-09-15 Rachele Carli , Amro Najjar