English
Related papers

Related papers: SMT-based Robot Transition Repair

200 papers

We present a fully autonomous real-world RL framework for mobile manipulation that can learn policies without extensive instrumentation or human supervision. This is enabled by 1) task-relevant autonomy, which guides exploration towards…

Robotics · Computer Science 2024-10-01 Russell Mendonca , Emmanuel Panov , Bernadette Bucher , Jiuguang Wang , Deepak Pathak

Safety concerns during the operation of legged robots must be addressed to enable their widespread use. Machine learning-based control methods that use model-based constraints provide promising means to improve robot safety. This study…

Robotics · Computer Science 2023-03-07 Berk Tosun , Evren Samur

Model predictive control is a powerful tool to generate complex motions for robots. However, it often requires solving non-convex problems online to produce rich behaviors, which is computationally expensive and not always practical in real…

Robotics · Computer Science 2022-09-21 Avadesh Meduri , Huaijiang Zhu , Armand Jordana , Ludovic Righetti

We present a novel method for optimizing the posture of kinematically redundant torque-controlled robots to improve robustness during impacts. A rigid impact model is used as the basis for a configuration-dependent metric that quantifies…

Robotics · Computer Science 2026-02-24 Amr Afifi , Ahmad Gazar , Javier Alonso-Mora , Paolo Robuffo Giordano , Antonio Franchi

This paper introduces a framework for state estimation on a humanoid robot platform using only common proprioceptive sensors and knowledge of leg kinematics. The presented approach extends that detailed in [1] on a quadruped platform by…

Robotics · Computer Science 2014-12-11 Nicholas Rotella , Michael Bloesch , Ludovic Righetti , Stefan Schaal

Soft Prompt Tuning (SPT) is a parameter-efficient method for adapting pre-trained language models (PLMs) to specific tasks by inserting learnable embeddings, or soft prompts, at the input layer of the PLM, without modifying its parameters.…

Computation and Language · Computer Science 2024-02-07 Fred Philippy , Siwen Guo , Shohreh Haddadan , Cedric Lothritz , Jacques Klein , Tegawendé F. Bissyandé

In this paper, we propose a novel cross-platform fault-tolerant surfacing controller for underwater robots, based on reinforcement learning (RL). Unlike conventional approaches, which require explicit identification of malfunctioning…

Robotics · Computer Science 2025-10-10 Yuya Hamamatsu , Walid Remmas , Jaan Rebane , Maarja Kruusmaa , Asko Ristolainen

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

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

Recent advances in Large language models (LLMs) have demonstrated their promising capabilities of generating robot operation code to enable LLM-driven robots. To enhance the reliability of operation code generated by LLMs, corrective…

Robotics · Computer Science 2026-02-25 Wenhao Wang , Yi Rong , Yanyan Li , Long Jiao , Jiawei Yuan

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…

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

Algorithms for state estimation of humanoid robots usually assume that the feet remain flat and in a constant position while in contact with the ground. However, this hypothesis is easily violated while walking, especially for human-like…

Multi-robot teams offer possibilities of improved performance and fault tolerance, compared to single robot solutions. In this paper, we show how to realize those possibilities when starting from a single robot system controlled by a…

Robotics · Computer Science 2015-02-11 Michele Colledanchise , Alejandro Marzinotto , Dimos V. Dimarogonas , Petter Ögren

To achieve accurate contour tracking of robotic manipulators with dynamic uncertainties, coupling and actuator faults, an adaptive non-singular terminal sliding mode control (ANTSMC) based on cross-coupling is proposed. Firstly, the…

Dynamical Systems · Mathematics 2021-10-19 Zhu Dachang , Du Baolin , Cui Aodong , Zhu Puchen

With the research into development of quadruped robots picking up pace, learning based techniques are being explored for developing locomotion controllers for such robots. A key problem is to generate leg trajectories for continuously…

Non-task-oriented dialog models suffer from poor quality and non-diverse responses. To overcome limited conversational data, we apply Simulated Multiple Reference Training (SMRT; Khayrallah et al., 2020), and use a paraphraser to simulate…

Computation and Language · Computer Science 2021-04-23 Huda Khayrallah , João Sedoc

Despite strong multi-task pretraining, existing policies often exhibit poor task steerability. For example, a robot may fail to respond to a new instruction ``put the bowl in the sink" when moving towards the oven, executing ``close the…

A central object in the computational studies of rare events is the committor function. Though costly to compute, the committor function encodes complete mechanistic information of the processes involving rare events, including reaction…

Statistical Mechanics · Physics 2022-11-23 Muhammad R. Hasyim , Clay H. Batton , Kranthi K. Mandadapu

Evaluating lesion progression and treatment response via longitudinal lesion tracking plays a critical role in clinical practice. Automated approaches for this task are motivated by prohibitive labor costs and time consumption when lesion…

Computer Vision and Pattern Recognition · Computer Science 2022-12-13 Wen Tang , Han Kang , Haoyue Zhang , Pengxin Yu , Corey W. Arnold , Rongguo Zhang