English
Related papers

Related papers: Regulating Safety and Security in Autonomous Robot…

200 papers

In the past two decades, autonomous driving has been catalyzed into reality by the growing capabilities of machine learning. This paradigm shift possesses significant potential to transform the future of mobility and reshape our society as…

Robotics · Computer Science 2022-10-21 Richard Chakra

A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated,…

Computers and Society · Computer Science 2020-02-27 Gregory Falco

Safety is one of the key issues preventing the deployment of reinforcement learning techniques in real-world robots. While most approaches in the Safe Reinforcement Learning area do not require prior knowledge of constraints and robot…

Machine Learning · Computer Science 2024-09-24 Jonas Günster , Puze Liu , Jan Peters , Davide Tateo

The automotive industry is experiencing a transition from assisted to highly automated driving. New concepts for validation of Automated Driving System (ADS) include amongst other a shift from a "technology based" approach to a "scenario…

Software Engineering · Computer Science 2023-02-02 Ilona Cieslik , Víctor J. Expósito Jiménez , Helmut Martin , Heiko Scharke , Hannes Schneider

As software becomes increasingly pervasive in critical domains like autonomous driving, new challenges arise, necessitating rethinking of system engineering approaches. The gradual takeover of all critical driving functions by autonomous…

Software Engineering · Computer Science 2023-08-22 Dasa Kusnirakova , Barbora Buhnova

The use of connected surgical robotics to automate medical procedures presents new privacy challenges. We argue that conventional patient consent protocols no longer work. Indeed robots that replace human surgeons take on an extraordinary…

Cryptography and Security · Computer Science 2019-09-05 Ryan Shah , Shishir Nagaraja

The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need for safety, e.g., for self-driving vehicles, mobile service…

With increasing ubiquity of artificial intelligence (AI) in modern societies, individual countries and the international community are working hard to create an innovation-friendly, yet safe, regulatory environment. Adequate regulation is…

Computers and Society · Computer Science 2020-05-25 Olivia J. Erdélyi , Judy Goldsmith

In this paper, we present an approach for quantifying the propagated uncertainty of robot systems in an online and data-driven manner. Especially in Human-Robot Collaboration, keeping track of the safety compliance during run time is…

Robotics · Computer Science 2023-02-22 Woo-Jeong Baek , Torsten Kröger

The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this chapter, we summarise approaches to the coordinated…

Traditional robots have rigid links and structures that limit their ability to interact with the dynamics of their immediate environment. For example, conventional robot manipulators with rigid links can only manipulate objects using…

Robotics · Computer Science 2019-10-09 Gideon Gbenga Oladipupo

Recent advancements in large language models (LLMs) have enabled a new research domain, LLM agents, for solving robotics and planning tasks by leveraging the world knowledge and general reasoning abilities of LLMs obtained during…

Robotics · Computer Science 2023-11-29 Ziyi Yang , Shreyas S. Raman , Ankit Shah , Stefanie Tellex

Failures in robotics can have disastrous consequences that worsen rapidly over time. This, the ability to rely on robotic systems, depends on our ability to monitor them and intercede when necessary, manually or autonomously. Prior work in…

Robotics · Computer Science 2018-09-12 Ritwik Gupta , Zachary T. Kurtz , Sebastian Scherer , Jonathon M. Smereka

AI technologies, including deep learning, large-language models have gone from one breakthrough to the other. As a result, we are witnessing growing excitement in robotics at the prospect of leveraging the potential of AI to tackle some of…

Reinforcement Learning (RL) has shown remarkable success in solving relatively complex tasks, yet the deployment of RL systems in real-world scenarios poses significant challenges related to safety and robustness. This paper aims to…

Machine Learning · Computer Science 2024-04-02 Taku Yamagata , Raul Santos-Rodriguez

The desire to use reinforcement learning in safety-critical settings has inspired a recent interest in formal methods for learning algorithms. Existing formal methods for learning and optimization primarily consider the problem of…

Artificial Intelligence · Computer Science 2019-06-05 Nathan Fulton , Andre Platzer

A major challenge to deploying robots widely is navigation in human-populated environments, commonly referred to as social robot navigation. While the field of social navigation has advanced tremendously in recent years, the fair evaluation…

Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compliance with these norms, the rules they induce need to be…

Software Engineering · Computer Science 2023-07-10 Sinem Getir Yaman , Ana Cavalcanti , Radu Calinescu , Colin Paterson , Pedro Ribeiro , Beverley Townsend

There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification…

Software Engineering · Computer Science 2016-12-16 Adina Aniculaesei , Daniel Arnsberger , Falk Howar , Andreas Rausch

Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by…

Multiagent Systems · Computer Science 2026-02-24 Marius Bozga , Joseph Sifakis