English
Related papers

Related papers: Bayesian Learning for the Robust Verification of A…

200 papers

Before autonomous systems can be deployed in safety-critical applications, we must be able to understand and verify the safety of these systems. For cases where the risk or cost of real-world testing is prohibitive, we propose a…

Robotics · Computer Science 2023-09-18 Charles Dawson , Chuchu Fan

Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncertain conditions, and poses new challenges for assuring the…

Artificial Intelligence · Computer Science 2020-12-08 Xingyu Zhao , Valentin Robu , David Flynn , Fateme Dinmohammadi , Michael Fisher , Matt Webster

Autonomous Science is a field of study which aims to extend the autonomy of exploration robots from low level functionality, such as on-board perception and obstacle avoidance, to science autonomy, which allows scientists to specify…

Robotics · Computer Science 2017-12-29 Akash Arora , Robert Fitch , Salah Sukkarieh

As robots aspire for long-term autonomous operations in complex dynamic environments, the ability to reliably take mission-critical decisions in ambiguous situations becomes critical. This motivates the need to build systems that have…

Robotics · Computer Science 2016-08-01 Shreyansh Daftry , Sam Zeng , J. Andrew Bagnell , Martial Hebert

Safe deployment of autonomous robots in diverse scenarios requires agents that are capable of efficiently adapting to new environments while satisfying constraints. In this work, we propose a practical and theoretically-justified approach…

Robotics · Computer Science 2022-02-17 Thomas Lew , Apoorva Sharma , James Harrison , Andrew Bylard , Marco Pavone

Traditional imitation learning provides a set of methods and algorithms to learn a reward function or policy from expert demonstrations. Learning from demonstration has been shown to be advantageous for navigation tasks as it allows for…

Robotics · Computer Science 2021-08-03 Christian Ellis , Maggie Wigness , John G. Rogers , Craig Lennon , Lance Fiondella

Perception algorithms that provide estimates of their uncertainty are crucial to the development of autonomous robots that can operate in challenging and uncontrolled environments. Such perception algorithms provide the means for having…

Robotics · Computer Science 2023-06-30 Sadegh Rabiee , Joydeep Biswas

The recent advance in autonomous underwater robotics facilitates autonomous inspection tasks of offshore infrastructure. However, current inspection missions rely on predefined plans created offline, hampering the flexibility and autonomy…

Deep reinforcement learning (RL) approaches have been broadly applied to a large number of robotics tasks, such as robot manipulation and autonomous driving. However, an open problem in deep RL is learning policies that are robust to…

Robotics · Computer Science 2023-12-19 Rohan Banerjee , Prishita Ray , Mark Campbell

Robot introspection, as opposed to anomaly detection typical in process monitoring, helps a robot understand what it is doing at all times. A robot should be able to identify its actions not only when failure or novelty occurs, but also as…

Robotics · Computer Science 2018-01-23 Hongmin Wu , Hongbin Lin , Yisheng Guan , Kensuke Harada , Juan Rojas

The automation of robotic tasks requires high precision and adaptability, particularly in force-based operations such as insertions. Traditional learning-based approaches either rely on static datasets, which limit their ability to…

Robotics · Computer Science 2025-08-22 Zebin Duan , Frederik Hagelskjær , Aljaz Kramberger , Juan Heredia , Norbert Krüger

The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box components in the control software, or undermodelled dynamics…

Systems and Control · Electrical Eng. & Systems 2020-06-17 John Jackson , Luca Laurenti , Eric Frew , Morteza Lahijanian

Defining sound and complete specifications for robots using formal languages is challenging, while learning formal specifications directly from demonstrations can lead to over-constrained task policies. In this paper, we propose a Bayesian…

Robotics · Computer Science 2020-12-01 Ankit Shah , Samir Wadhwania , Julie Shah

Deep learning has enjoyed much recent success, and applying state-of-the-art model learning methods to controls is an exciting prospect. However, there is a strong reluctance to use these methods on safety-critical systems, which have…

Systems and Control · Electrical Eng. & Systems 2021-07-06 David D. Fan , Jennifer Nguyen , Rohan Thakker , Nikhilesh Alatur , Ali-akbar Agha-mohammadi , Evangelos A. Theodorou

Real-world robots are becoming increasingly complex and commonly act in poorly understood environments where it is extremely challenging to model or learn their true dynamics. Therefore, it might be desirable to take a task-specific…

Systems and Control · Computer Science 2017-09-25 Somil Bansal , Roberto Calandra , Ted Xiao , Sergey Levine , Claire J. Tomlin

We examine the problem of determining demonstration sufficiency: how can a robot self-assess whether it has received enough demonstrations from an expert to ensure a desired level of performance? To address this problem, we propose a novel…

Machine Learning · Computer Science 2024-01-03 Tu Trinh , Haoyu Chen , Daniel S. Brown

In outdoor environments, mobile robots are required to navigate through terrain with varying characteristics, some of which might significantly affect the integrity of the platform. Ideally, the robot should be able to identify areas that…

Robotics · Computer Science 2018-02-20 Rafael Oliveira , Lionel Ott , Vitor Guizilini , Fabio Ramos

Visual search of relevant targets in the environment is a crucial robot skill. We propose a preliminary framework for the execution monitor of a robot task, taking care of the robot attitude to visually searching the environment for targets…

Artificial Intelligence · Computer Science 2019-02-11 Lorenzo Mauro , Francesco Puja , Simone Grazioso , Valsamis Ntouskos , Marta Sanzari , Edoardo Alati , Fiora Pirri

Autonomous robots deal with unexpected scenarios in real environments. Given input images, various visual perception tasks can be performed, e.g., semantic segmentation, depth estimation and normal estimation. These different tasks provide…

Computer Vision and Pattern Recognition · Computer Science 2022-03-01 Boyang Sun , Jiaxu Xing , Hermann Blum , Roland Siegwart , Cesar Cadena

Shared autonomy functions as a flexible framework that empowers robots to operate across a spectrum of autonomy levels, allowing for efficient task execution with minimal human oversight. However, humans might be intimidated by the…

Robotics · Computer Science 2025-12-01 Yingke Li , Fumin Zhang
‹ Prev 1 2 3 10 Next ›