English
Related papers

Related papers: Interactive Robot Transition Repair With SMT

200 papers

In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, partitioned environment. We assume that the robot has noisy…

Robotics · Computer Science 2012-02-24 Xu Chu Ding , Jing Wang , Morteza Lahijanian , Ioannis Ch. Paschalidis , Calin A. Belta

Drifting is an advanced driving technique where the wheeled robot's tire-ground interaction breaks the common non-holonomic pure rolling constraint. This allows high-maneuverability tasks like quick cornering, and steady-state drifting…

Robotics · Computer Science 2025-12-01 Feilong Jing , Yang Deng , Boyi Wang , Xudong Zheng , Yifan Sun , Zhang Chen , Bin Liang

Lengthy setup processes that require robotics expertise remain a major barrier to deploying robots for tasks involving high product variability and small batch sizes. As a result, collaborative robots, despite their advanced sensing and…

Robotics · Computer Science 2025-12-30 Christoph Willibald , Lugh Martensen , Thomas Eiband , Dongheui Lee

The complexity of the real world demands robotic systems that can intelligently adapt to unseen situations. We present STEER, a robot learning framework that bridges high-level, commonsense reasoning with precise, flexible low-level…

The vehicle dynamics model serves as a vital component of autonomous driving systems, as it describes the temporal changes in vehicle state. In a long period, researchers have made significant endeavors to accurately model vehicle dynamics.…

Robotics · Computer Science 2025-02-18 Jinyu Miao , Rujun Yan , Bowei Zhang , Tuopu Wen , Kun Jiang , Mengmeng Yang , Jin Huang , Zhihua Zhong , Diange Yang

The large demand for simulated data has made the reality gap a problem on the forefront of robotics. We propose a method to traverse the gap by tuning available simulation parameters. Through the optimisation of physics engine parameters,…

Robotics · Computer Science 2020-03-04 Jack Collins , Ross Brown , Jurgen Leitner , David Howard

Self-adaptive parameters are increasingly used in the field of Evolutionary Robotics, as they allow key evolutionary rates to vary autonomously in a context-sensitive manner throughout the optimisation process. A significant limitation to…

Neural and Evolutionary Computing · Computer Science 2017-04-04 Gerard David Howard

Human-robot teaming (HRT) systems often rely on large-scale datasets of human and robot interactions, especially for close-proximity collaboration tasks such as human-robot handovers. Learning robot manipulation policies from raw,…

Robotics · Computer Science 2025-08-14 Yuekun Wu , Yik Lung Pang , Andrea Cavallaro , Changjae Oh

This paper presents a novel algorithm, called MRRT, which uses multiple rapidly-exploring random trees for fast online replanning of autonomous vehicles in dynamic environments with moving obstacles. The proposed algorithm is built upon the…

Robotics · Computer Science 2021-04-23 Zongyuan Shen , James P. Wilson , Ryan Harvey , Shalabh Gupta

Supervisory-based human-robot teams are deployed in various dynamic and extreme environments (e.g., space exploration). Achieving high task performance in such environments is critical, as a mistake may lead to significant monetary loss or…

Robotics · Computer Science 2020-03-13 Jamison Heard , Julian Fortune , Julie A. Adams

In many industrial robotics applications, such as spot-welding, spray-painting or drilling, the robot is required to visit successively multiple targets. The robot travel time among the targets is a significant component of the overall…

Robotics · Computer Science 2017-10-06 Francisco Suárez-Ruiz , Teguh Santoso Lembono , Quang-Cuong Pham

Modern manipulators are acclaimed for their precision but often struggle to operate in confined spaces. This limitation has driven the development of hyper-redundant and continuum robots. While these present unique advantages, they face…

Robotics · Computer Science 2024-08-13 Avi Cohen , Avishai Sintov , David Zarrouk

We consider a new variant of the multi-robot task allocation problem - Inverse Risk-sensitive Multi-Robot Task Allocation (IR-MRTA). "Forward" MRTA - the process of deciding which robot should perform a task given the reward (cost)-related…

Robotics · Computer Science 2024-06-17 Guangyao Shi , Gaurav S. Sukhatme

Reinforcement Learning (RL) algorithms can in principle acquire complex robotic skills by learning from large amounts of data in the real world, collected via trial and error. However, most RL algorithms use a carefully engineered setup in…

Machine Learning · Computer Science 2021-04-23 Abhishek Gupta , Justin Yu , Tony Z. Zhao , Vikash Kumar , Aaron Rovinsky , Kelvin Xu , Thomas Devlin , Sergey Levine

Continuum robots, characterized by their high flexibility and infinite degrees of freedom (DoFs), have gained prominence in applications such as minimally invasive surgery and hazardous environment exploration. However, the intrinsic…

Robotics · Computer Science 2023-09-26 Peiyu Luo , Shilong Yao , Yiyao Yue , Jiankun Wang , Hong Yan , Max Q. -H. Meng

We study the Monotone Sliding Reconfiguration (MSR) problem, in which $\textit{labeled}$ pairwise interior-disjoint objects in a planar workspace need to be brought $\textit{one by one}$ from their initial positions to given target…

Robotics · Computer Science 2024-12-04 Tzvika Geft , Dan Halperin , Yonatan Nakar

Mastering robotic manipulation skills through reinforcement learning (RL) typically requires the design of shaped reward functions. Recent developments in this area have demonstrated that using sparse rewards, i.e. rewarding the agent only…

Machine Learning · Computer Science 2021-11-12 Ozsel Kilinc , Giovanni Montana

What if a robot could rethink its own morphological representation to better meet the demands of diverse tasks? Most robotic systems today treat their physical form as a fixed constraint rather than an adaptive resource, forcing the same…

Robotics · Computer Science 2026-05-05 Nataliya Nechyporenko , Yutong Zhang , Sean Campbell , Alessandro Roncone

Emergent properties in distributed systems arise due to timing unpredictability; asynchronous state evolution within each sub-system may lead the macro-system to faulty meta-states. Empirical validation of correctness is often prohibitively…

Robotics · Computer Science 2025-09-23 Tinapat Limsila , Mehul Sharma , Paulo Garcia

Imitation learning holds tremendous promise in learning policies efficiently for complex decision making problems. Current state-of-the-art algorithms often use inverse reinforcement learning (IRL), where given a set of expert…

Robotics · Computer Science 2023-02-22 Siddhant Haldar , Vaibhav Mathur , Denis Yarats , Lerrel Pinto