中文
相关论文

相关论文: Autonomous Systems' Safety Cases for use in UK Nuc…

200 篇论文

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

Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave…

机器人学 · 计算机科学 2023-04-27 Georgios Bakirtzis , Steven Carr , David Danks , Ufuk Topcu

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…

Frontier artificial intelligence (AI) systems pose increasing risks to society, making it essential for developers to provide assurances about their safety. One approach to offering such assurances is through a safety case: a structured,…

计算机与社会 · 计算机科学 2024-11-14 Arthur Goemans , Marie Davidsen Buhl , Jonas Schuett , Tomek Korbak , Jessica Wang , Benjamin Hilton , Geoffrey Irving

This paper considers the state of nuclear and radiological security in the UK and abroad and reports on the methods that could be employed by terrorists with radiological or nuclear material to cause destruction. It is shown that despite…

物理与社会 · 物理学 2010-05-14 Nick Jones

The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. This emergent functionality poses a challenge to safety…

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

Adoption and deployment of robotic and autonomous systems in industry are currently hindered by the lack of transparency, required for safety and accountability. Methods for providing explanations are needed that are agnostic to the…

机器人学 · 计算机科学 2023-06-01 Konstantinos Gavriilidis , Andrea Munafo , Wei Pang , Helen Hastie

Autonomous mobile robots have the potential to solve missions that are either too complex or dangerous to be accomplished by humans. In this paper, we address the design and autonomous deployment of a ground vehicle equipped with a robotic…

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

Robots of the future are going to exhibit increasingly human-like and super-human intelligence in a myriad of different tasks. They are also likely going to fail and be incompliant with human preferences in increasingly subtle ways. Towards…

机器人学 · 计算机科学 2021-10-13 Homanga Bharadhwaj

Evaluating the safety of AI Systems is a pressing concern for organizations deploying them. In addition to the societal damage done by the lack of fairness of those systems, deployers are concerned about the legal repercussions and the…

Frontier artificial intelligence (AI) systems present both benefits and risks to society. Safety cases - structured arguments supported by evidence - are one way to help ensure the safe development and deployment of these systems. Yet the…

计算机与社会 · 计算机科学 2024-12-24 Carmen Cârlan , Francesca Gomez , Yohan Mathew , Ketana Krishna , René King , Peter Gebauer , Ben R. Smith

Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems which are acting in largely…

人工智能 · 计算机科学 2022-05-13 Harald Rueß , Simon Burton

Potential malicious misuse of civilian artificial intelligence (AI) poses serious threats to security on a national and international level. Besides defining autonomous systems from a technological viewpoint and explaining how AI…

计算机与社会 · 计算机科学 2024-03-25 Lukas Pöhler , Valentin Schrader , Alexander Ladwein , Florian von Keller

With the rapid development of simulation tools, the development and validation of autonomous robotic systems have become more efficient before real-world deployment. This paper presents a simulation-to-real implementation of an autonomous…

机器人学 · 计算机科学 2026-05-28 Vinh Nguyen , Gia-Uy Le , Tien-Dat Nguyen , Tri-Tin Nguyen , Vinh-Hao Nguyen

We sketch how developers of frontier AI systems could construct a structured rationale -- a 'safety case' -- that an AI system is unlikely to cause catastrophic outcomes through scheming. Scheming is a potential threat model where AI…

An assurance case is a structured argument, typically produced by safety engineers, to communicate confidence that a critical or complex system, such as an aircraft, will be acceptably safe within its intended context. Assurance cases often…

计算机与社会 · 计算机科学 2023-06-07 Zoe Porter , Ibrahim Habli , John McDermid , Marten Kaas

Legal AI systems are increasingly being adopted by judicial and legal system deployers and providers worldwide to support a range of applications. While they offer potential benefits such as reducing bias, increasing efficiency, and…

计算机与社会 · 计算机科学 2026-03-18 Gizem Gultekin-Varkonyi

Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance of agricultural robots, particularly their ability to…

机器人学 · 计算机科学 2025-06-25 Mustafa Adam , Kangfeng Ye , David A. Anisi , Ana Cavalcanti , Jim Woodcock , Robert Morris