English
Related papers

Related papers: Interactive Robot Transition Repair With SMT

200 papers

Robot learning requires a considerable amount of high-quality data to realize the promise of generalization. However, large data sets are costly to collect in the real world. Physics simulators can cheaply generate vast data sets with broad…

Robots often need to be reconfigurable$-$to customize, calibrate, or optimize robots operating in varying environments with different hardware). A particular challenge in robotics is the automated and dynamic reconfiguration to load and…

Robotics · Computer Science 2025-04-10 Sven Peldszus , Davide Brugali , Daniel Strüber , Patrizio Pelliccione , Thorsten Berger

Many tasks, particularly those involving interaction with the environment, are characterized by high variability, making robotic autonomy difficult. One flexible solution is to introduce the input of a human with superior experience and…

Robotics · Computer Science 2021-04-09 Michael Hagenow , Emmanuel Senft , Robert Radwin , Michael Gleicher , Bilge Mutlu , Michael Zinn

The aim of this work is to address issues where formal specifications cannot be realized on a given dynamical system subjected to a changing environment. Such failures occur whenever the dynamics of the system restrict the robot in such a…

Model-free reinforcement learning (RL) is a powerful approach for learning control policies directly from high-dimensional state and observation. However, it tends to be data-inefficient, which is especially costly in robotic learning…

Robotics · Computer Science 2020-10-14 Xubo Lyu , Mo Chen

In terms of the concepts of state and state transition, a new heuristic random search algorithm named state transition algorithm is proposed. For continuous function optimization problems, four special transformation operators called…

Optimization and Control · Mathematics 2013-12-10 Xiaojun Zhou , Chunhua Yang , Weihua Gui

Imitation learning is a promising paradigm for training robot agents; however, standard approaches typically require substantial data acquisition -- via numerous demonstrations or random exploration -- to ensure reliable performance.…

Robotics · Computer Science 2026-02-12 Hanbit Oh , Masaki Murooka , Tomohiro Motoda , Ryoichi Nakajo , Yukiyasu Domae

In this paper we present a grammar and control synthesis framework for online modification of Event-based Signal Temporal Logic (STL) specifications, during execution. These modifications allow a user to change the robots' task in response…

Robotics · Computer Science 2023-04-03 David Gundana , Hadas Kress-Gazit

The high probability of hardware failures prevents many advanced robots (e.g., legged robots) from being confidently deployed in real-world situations (e.g., post-disaster rescue). Instead of attempting to diagnose the failures, robots…

Robotics · Computer Science 2017-12-13 Konstantinos Chatzilygeroudis , Vassilis Vassiliades , Jean-Baptiste Mouret

The ability to accurately predict feasible multimodal future trajectories of surrounding traffic participants is crucial for behavior planning in autonomous vehicles. The Motion Transformer (MTR), a state-of-the-art motion prediction…

Leveraging sensing modalities across diverse spatial and temporal resolutions can improve performance of robotic manipulation tasks. Multi-spatial resolution sensing provides hierarchical information captured at different spatial scales and…

Robotics · Computer Science 2024-01-29 Saumya Saxena , Mohit Sharma , Oliver Kroemer

Current transformer language models (LM) are large-scale models with billions of parameters. They have been shown to provide high performances on a variety of tasks but are also prone to shortcut learning and bias. Addressing such incorrect…

Computation and Language · Computer Science 2023-07-26 Felix Friedrich , Wolfgang Stammer , Patrick Schramowski , Kristian Kersting

Vehicle power-trains use a variable transmission (multiple gear-ratios) to minimize motor size and maximize efficiency while meeting a wide-range of operating points. Robots could similarly benefit from variable transmission to save weight…

Robotics · Computer Science 2022-05-31 Alexandre Girard , H. Harry Asada

Behavior Trees constitute a widespread AI tool which has been successfully spun out in robotics. Their advantages include simplicity, modularity, and reusability of code. However, Behavior Trees remain a high-level decision making engine;…

Robotics · Computer Science 2020-09-01 Pilar de la Cruz , Justus Piater , Matteo Saveriano

We explore how to enhance next-token prediction models to perform in-context imitation learning on a real robot, where the robot executes new tasks by interpreting contextual information provided during the input phase, without updating its…

In this work, we study how to build a robotic system that can solve multiple 3D manipulation tasks given language instructions. To be useful in industrial and household domains, such a system should be capable of learning new tasks with few…

Robotics · Computer Science 2024-06-14 Ankit Goyal , Valts Blukis , Jie Xu , Yijie Guo , Yu-Wei Chao , Dieter Fox

Multi-robot coordination based on large language models (LLMs) has attracted growing attention, since LLMs enable the direct translation of natural language instructions into robot action plans by decomposing tasks and generating high-level…

Quadruped robots have strong adaptability to extreme environments but may also experience faults. Once these faults occur, robots must be repaired before returning to the task, reducing their practical feasibility. One prevalent concern…

Robotics · Computer Science 2024-01-01 Xinyuan Wu , Wentao Dong , Hang Lai , Yong Yu , Ying Wen

Most robot manipulation focuses on changing the kinematic state of objects: picking, placing, opening, or rotating them. However, a wide range of real-world manipulation tasks involve a different class of object state change--such as…

We study computationally-hard fundamental motion planning problems where the goal is to translate $k$ axis-aligned rectangular robots from their initial positions to their final positions without collision, and with the minimum number of…

Computational Geometry · Computer Science 2024-03-05 Iyad Kanj , Salman Parsa