English
Related papers

Related papers: Interactive Robot Transition Repair With SMT

200 papers

State machines are a common model for robot behaviors. Transition functions often rely on parameterized conditions to model preconditions for the controllers, where the correct values of the parameters depend on factors relating to the…

Robotics · Computer Science 2020-01-14 Jarrett Holtz , Arjun Guha , Joydeep Biswas

Simulation-based reinforcement learning (RL) has significantly advanced humanoid locomotion tasks, yet direct real-world RL from scratch or adapting from pretrained policies remains rare, limiting the full potential of humanoid robots.…

Robotics · Computer Science 2025-08-27 Kaizhe Hu , Haochen Shi , Yao He , Weizhuo Wang , C. Karen Liu , Shuran Song

Robots operating in real-world human environments will likely encounter task execution failures. To address this, we would like to allow co-present humans to refine the robot's task model as errors are encountered. Existing approaches to…

Robotics · Computer Science 2018-10-03 Reymundo A. Gutierrez , Elaine Schaertl Short , Scott Niekum , Andrea L. Thomaz

This paper addresses the fast replanning problem in dynamic environments with moving obstacles. Since for randomly moving obstacles the future states are unpredictable, the proposed method, called SMARRT, reacts to obstacle motions and…

Robotics · Computer Science 2021-09-14 Zongyuan Shen , James Wilson , Ryan Harvey , Shalabh Gupta

Corrective Shared Autonomy is a method where human corrections are layered on top of an otherwise autonomous robot behavior. Specifically, a Corrective Shared Autonomy system leverages an external controller to allow corrections across a…

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

Policies trained in simulation often fail when transferred to the real world due to the `reality gap' where the simulator is unable to accurately capture the dynamics and visual properties of the real world. Current approaches to tackle…

Robotics · Computer Science 2021-05-21 Yuqing Du , Olivia Watkins , Trevor Darrell , Pieter Abbeel , Deepak Pathak

Recent advances in mobile robotic platforms like quadruped robots and drones have spurred a demand for deploying visuomotor policies in increasingly dynamic environments. However, the collection of high-quality training data, the impact of…

Robotics · Computer Science 2025-04-29 Yifan Duan , Heng Li , Yilong Wu , Wenhao Yu , Xinran Zhang , Yedong Shen , Jianmin Ji , Yanyong Zhang

Socially-aware robotic navigation is essential in environments where humans and robots coexist, ensuring both safety and comfort. However, most existing approaches have been primarily developed for mobile robots, leaving a significant gap…

Robotics · Computer Science 2025-06-18 Caio C. G. Ribeiro , Leonardo R. D. Paes , Douglas G. Macharet

As intelligent robots become more integrated into human environments, there is a growing need for intuitive and reliable Human-Robot Interaction (HRI) interfaces that are adaptable and more natural to interact with. Traditional robot…

The utility of collocating robots largely depends on the easy and intuitive interaction mechanism with the human. If a robot accepts task instruction in natural language, first, it has to understand the user's intention by decoding the…

Robotics · Computer Science 2022-06-23 Pradip Pramanick , Chayan Sarkar , Snehasis Banerjee , Brojeshwar Bhowmick

Personal robots assisting humans must perform complex manipulation tasks that are typically difficult to specify in traditional motion planning pipelines, where multiple objectives must be met and the high-level context be taken into…

Robotics · Computer Science 2019-03-21 Hejia Zhang , Eric Heiden , Stefanos Nikolaidis , Joseph J. Lim , Gaurav S. Sukhatme

Learning robot control policies from demonstrations is a powerful paradigm, yet real-world data is often suboptimal, noisy, or otherwise imperfect, posing significant challenges for imitation and reinforcement learning. In this work, we…

Machine Learning · Computer Science 2026-04-07 Aniruddh G. Puranic , Sebastian Schirmer , John S. Baras , Calin Belta

Deployment of Reinforcement Learning (RL) algorithms for robotics applications in the real world requires ensuring the safety of the robot and its environment. Safe Robot RL (SRRL) is a crucial step towards achieving human-robot…

Robotics · Computer Science 2023-10-18 Shangding Gu , Alap Kshirsagar , Yali Du , Guang Chen , Jan Peters , Alois Knoll

Mobile manipulator robots operating in complex domestic and industrial environments must effectively coordinate their base and arm motions while avoiding obstacles. While current reactive control methods gracefully achieve this…

Robotics · Computer Science 2025-09-04 Nicolas Marticorena , Tobias Fischer , Jesse Haviland , Niko Suenderhauf

Industrial robots play an increasingly important role in a growing number of fields. For example, robotics is used to increase productivity while reducing costs in various aspects of manufacturing. Since robots are often set up in…

Robotics · Computer Science 2020-02-26 Arash Golibagh Mahyari , Thomas Locker

For a nonlinear system (e.g. a robot) with its continuous state space trajectories constrained by a linear temporal logic specification, the synthesis of a low-level controller for mission execution often results in a non-convex…

Robotics · Computer Science 2020-09-08 Binghan He , Jaemin Lee , Ufuk Topcu , Luis Sentis

High-level robot skills represent an increasingly popular paradigm in robot programming. However, configuring the skills' parameters for a specific task remains a manual and time-consuming endeavor. Existing approaches for learning or…

Robotics · Computer Science 2024-08-23 Claudius Kienle , Benjamin Alt , Onur Celik , Philipp Becker , Darko Katic , Rainer Jäkel , Gerhard Neumann

Styled online in-between motion generation has important application scenarios in computer animation and games. Its core challenge lies in the need to satisfy four critical requirements simultaneously: generation speed, motion quality,…

Computer Vision and Pattern Recognition · Computer Science 2023-06-22 Xiangjun Tang , Linjun Wu , He Wang , Bo Hu , Xu Gong , Yuchen Liao , Songnan Li , Qilong Kou , Xiaogang Jin

Training robots with reinforcement learning (RL) typically involves heavy interactions with the environment, and the acquired skills are often sensitive to changes in task environments and robot kinematics. Transfer RL aims to leverage…

Robotics · Computer Science 2023-09-26 Pingcheng Jian , Easop Lee , Zachary Bell , Michael M. Zavlanos , Boyuan Chen

Large language models (LLMs) are increasingly explored in robot manipulation, but many existing methods struggle to adapt to new environments. Many systems require either environment-specific policy training or depend on fixed prompts and…

‹ Prev 1 2 3 10 Next ›