English
Related papers

Related papers: Property-Based Testing in Simulation for Verifying…

200 papers

Understanding a controller's performance in different scenarios is crucial for robots that are going to be deployed in safety-critical tasks. If we do not have a model of the dynamics of the world, which is often the case in complex…

Robotics · Computer Science 2021-08-09 Simón C. Smith , Subramanian Ramamoorthy

The equations of motion governing mobile robots are dependent on terrain properties such as the coefficient of friction, and contact model parameters. Estimating these properties is thus essential for robotic navigation. Ideally any map…

Robotics · Computer Science 2022-05-26 Parker Ewen , Adam Li , Yuxin Chen , Steven Hong , Ram Vasudevan

Programming a robot to deal with open-ended tasks remains a challenge, in particular if the robot has to manipulate objects. Launching, grasping, pushing or any other object interaction can be simulated but the corresponding models are not…

Robotics · Computer Science 2020-12-15 Seungsu Kim , Alexandre Coninx , Stephane Doncieux

We investigate different approaches to integrating object recognition and planning in a tabletop manipulation domain with the set of objects used in the 2012 RoboCup@Work competition. Results of our preliminary experiments show that, with…

Artificial Intelligence · Computer Science 2013-07-31 Damien Jade Duff , Esra Erdem , Volkan Patoglu

Providing guarantees on the safe operation of robots against edge cases is challenging as testing methods such as traditional Monte-Carlo require too many samples to provide reasonable statistics. Built upon recent advancements in…

Robotics · Computer Science 2023-05-01 Guy Scher , Sadra Sadraddini , Ariel Yadin , Hadas Kress-Gazit

Robotic systems are complex and safety-critical software systems. As such, they need to be tested thoroughly. Unfortunately, robot software is intrinsically hard to test compared to traditional software, mainly since the software needs to…

Software Engineering · Computer Science 2026-02-03 Nils Chur , Thiago Santos de Moura , Argentina Ortega , Sven Peldszus , Thorsten Berger , Nico Hochgeschwender , Yannic Noller

Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as…

Software Engineering · Computer Science 2021-12-09 Yeshayahu Weiss

Trust in robots is widely believed to be imperative for the adoption of robots into people's daily lives. It is, therefore, understandable that the literature of the last few decades focuses on measuring how much people trust robots -- and…

Robotics · Computer Science 2023-11-22 Patrick Holthaus , Alessandra Rossi

Trust in autonomy is essential for effective human-robot collaboration and user adoption of autonomous systems such as robot assistants. This paper introduces a computational model which integrates trust into robot decision-making.…

Robotics · Computer Science 2018-11-26 Min Chen , Stefanos Nikolaidis , Harold Soh , David Hsu , Siddhartha Srinivasa

The control architecture of autonomous robots can be developed by programming and integrating multiple software components that individually control separate behaviors. This approach requires additional mechanisms to coordinate their…

Robotics · Computer Science 2021-03-12 Martin Molina , Pablo Santamaria , Abraham Carrera

Long-term autonomy of robotic systems implicitly requires dependable platforms that are able to naturally handle hardware and software faults, problems in behaviors, or lack of knowledge. Model-based dependable platforms additionally…

Robotics · Computer Science 2022-07-21 Stalin Muñoz Gutiérrez , Gerald Steinbauer-Wagner

Training robots with physical bodies requires developing new methods and action representations that allow the learning agents to explore the space of policies efficiently. This work studies sample-efficient learning of complex policies in…

Robotics · Computer Science 2019-02-19 Reza Mahjourian , Risto Miikkulainen , Nevena Lazic , Sergey Levine , Navdeep Jaitly

Robots are often so complex that one person may not know all the ins and outs of the system. Inheriting software and hardware infrastructure with limited documentation and/or practical robot experience presents a costly challenge for an…

Robotics · Computer Science 2020-07-24 Victoria Edwards , Loy McGuire , Signe Redfield

In this paper we present a simulation framework for the evaluation of the navigation and localization metrological performances of a robotic platform. The simulator, based on ROS (Robot Operating System) Gazebo, is targeted to a…

Robotics · Computer Science 2020-06-18 Riccardo Giubilato , Andrea Masili , Sebastiano Chiodini , Marco Pertile , Stefano Debei

We study the choice of action space in robot manipulation learning and sim-to-real transfer. We define metrics that assess the performance, and examine the emerging properties in the different action spaces. We train over 250 reinforcement…

Robotics · Computer Science 2024-05-16 Elie Aljalbout , Felix Frank , Maximilian Karl , Patrick van der Smagt

Tactile sensors are believed to be essential in robotic manipulation, and prior works often rely on experts to reason the sensor feedback and design a controller. With the recent advancement in data-driven approaches, complicated…

Robotics · Computer Science 2023-05-24 Ya-Yen Tsai , Bidan Huang , Yu Zheng , Lei Han , Wang Wei Lee , Edward Johns

Physical interactions can often help reveal information that is not readily apparent. For example, we may tug at a table leg to evaluate whether it is built well, or turn a water bottle upside down to check that it is watertight. We propose…

Machine Learning · Computer Science 2022-12-20 Kun Huang , Edward S. Hu , Dinesh Jayaraman

The manufacturing sector was recently affected by workforce shortages, a problem that automation and robotics can heavily minimize. Simultaneously, reinforcement learning (RL) offers a promising solution where robots can learn through…

Robotics · Computer Science 2024-10-29 Abdalwhab Abdalwhab , Giovanni Beltrame , David St-Onge

Reinforcement Learning (RL) is a powerful mathematical framework that allows robots to learn complex skills by trial-and-error. Despite numerous successes in many applications, RL algorithms still require thousands of trials to converge to…

Robotics · Computer Science 2022-08-03 Matthias Mayr , Konstantinos Chatzilygeroudis , Faseeh Ahmad , Luigi Nardi , Volker Krueger

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
‹ Prev 1 3 4 5 6 7 10 Next ›