English
Related papers

Related papers: Interactive Robot Transition Repair With SMT

200 papers

Solving real-world manipulation tasks requires robots to have a repertoire of skills applicable to a wide range of circumstances. When using learning-based methods to acquire such skills, the key challenge is to obtain training data that…

Robotics · Computer Science 2023-04-19 Kuan Fang , Toki Migimatsu , Ajay Mandlekar , Li Fei-Fei , Jeannette Bohg

Autonomous robots operating in complex, unstructured environments face significant challenges due to latent, unobserved factors that obscure their understanding of both their internal state and the external world. Addressing this challenge…

Robotics · Computer Science 2026-04-02 Alejandro Murillo-Gonzalez , Lantao Liu

Robotic assembly is a longstanding challenge, requiring contact-rich interaction and high precision and accuracy. Many applications also require adaptivity to diverse parts, poses, and environments, as well as low cycle times. In other…

While trust in human-robot interaction is increasingly recognized as necessary for the implementation of social robots, our understanding of regulating trust in human-robot interaction is yet limited. In the current experiment, we evaluated…

Human-Computer Interaction · Computer Science 2023-04-21 Matouš Jelínek , Kerstin Fischer

Human multi-robot system (MRS) collaboration is demonstrating potentials in wide application scenarios due to the integration of human cognitive skills and a robot team's powerful capability introduced by its multi-member structure.…

Robotics · Computer Science 2021-07-15 Yijiang Pang , Chao Huang , Rui Liu

Robot navigation systems are critical for various real-world applications such as delivery services, hospital logistics, and warehouse management. Although classical navigation methods provide interpretability, they rely heavily on expert…

Robotics · Computer Science 2025-10-17 Shiwei Feng , Xuan Chen , Zikang Xiong , Zhiyuan Cheng , Yifei Gao , Siyuan Cheng , Sayali Kate , Xiangyu Zhang

Simulation parameter settings such as contact models and object geometry approximations are critical to training robust robotic policies capable of transferring from simulation to real-world deployment. Previous approaches typically…

Robotics · Computer Science 2023-10-03 Allen Z. Ren , Hongkai Dai , Benjamin Burchfiel , Anirudha Majumdar

In this paper we study the multiple-processor multitask scheduling problem in both deterministic and stochastic models, where each job have several tasks and is complete only when all its tasks are finished. We consider and analyze Modified…

Performance · Computer Science 2022-06-22 Wenxin Li , Ness Shroff

Autonomy for robots interacting with sand will enable a wide range of beneficial behaviors, from earth moving for construction and farming vehicles to navigating rough terrain for Mars rovers. The goal of this work is to shape sand into…

Robotics · Computer Science 2019-08-08 Wooshik Kim , Catherine Pavlov , Aaron M. Johnson

Metamorphic Testing (MT) addresses the test oracle problem by examining the relationships between input-output pairs in consecutive executions of the System Under Test (SUT). These relations, known as Metamorphic Relations (MRs), specify…

Software Engineering · Computer Science 2023-10-23 Alejandra Duque-Torres , Dietmar Pfahl

In physical Human-Robot Collaboration (pHRC), accurate human intent estimation and rational human-robot role allocation are crucial for safe and efficient assistance. Existing methods that rely on short-term motion data for intention…

Robotics · Computer Science 2025-05-27 Haotian Liu , Yuchuang Tong , Zhengtao Zhang

We propose a state estimation method that can accurately predict the robot's privileged states to push the limits of quadruped robots in executing advanced skills such as jumping in the wild. In particular, we present the State Estimation…

Robotics · Computer Science 2024-10-18 Chen Yu , Yichu Yang , Tianlin Liu , Yangwei You , Mingliang Zhou , Diyun Xiang

Prior human-robot interaction (HRI) research has primarily focused on single-user interactions, where robots do not need to consider the timing or recipient of their responses. However, in multi-party interactions, such as at malls and…

Robotics · Computer Science 2025-07-16 He Zhu , Ryo Miyoshi , Yuki Okafuji

Achieving quadruped robot locomotion across diverse and dynamic terrains presents significant challenges, primarily due to the discrepancies between simulation environments and real-world conditions. Traditional sim-to-real transfer methods…

Robotics · Computer Science 2026-04-06 Junyang Liang , Yuxuan Liu , Yabin Chang , Junfan Lin , Junkai Ji , Hui Li , Changxin Huang , Jianqiang Li

Manually authoring transition animations for a complete locomotion system can be a tedious and time-consuming task, especially for large games that allow complex and constrained locomotion movements, where the number of transitions grows…

Graphics · Computer Science 2021-03-22 Félix G. Harvey , Christopher Pal

Reinforcement learning (RL) can in principle let robots automatically adapt to new tasks, but current RL methods require a large number of trials to accomplish this. In this paper, we tackle rapid adaptation to new tasks through the…

The field of physical human-robot interaction has dramatically evolved in the last decades. As a result, the robotic system's requirements have become more challenging, including personalized behavior for different tasks and users. Various…

Increasingly complex and autonomous robots are being deployed in real-world environments with far-reaching consequences. High-stakes scenarios, such as emergency response or offshore energy platform and nuclear inspections, require robot…

Human-Computer Interaction · Computer Science 2020-03-13 Francisco J. Chiyah Garcia , José Lopes , Helen Hastie

Robots are required to execute increasingly complex instructions in dynamic environments, which can lead to a disconnect between the user's intent and the robot's representation of the instructions. In this paper we present a natural…

Robotics · Computer Science 2017-10-05 Adrian Boteanu , Jacob Arkin , Siddharth Patki , Thomas Howard , Hadas Kress-Gazit

Stiff dynamical systems present a challenge for machine-learning reduced-order models (ML-ROMs), as explicit time integration becomes unstable in stiff regimes while implicit integration within learning loops is computationally expensive…

Machine Learning · Computer Science 2026-03-19 Joe Standridge , Daniel Livescu , Paul Cizmas