English
Related papers

Related papers: Interactive Robot Transition Repair With SMT

200 papers

In real-world industrial environments, modern robots often rely on human operators for crucial decision-making and mission synthesis from individual tasks. Effective and safe collaboration between humans and robots requires systems that can…

Robotics · Computer Science 2024-06-26 Mike Allenspach , Michael Pantic , Rik Girod , Lionel Ott , Roland Siegwart

Current motion planning approaches rely on binary collision checking to evaluate the validity of a state and thereby dictate where the robot is allowed to move. This approach leaves little room for robots to engage in contact with an…

Robotics · Computer Science 2025-10-30 Nataliya Nechyporenko , Caleb Escobedo , Shreyas Kadekodi , Alessandro Roncone

Robot-Assisted Therapy (RAT) has successfully been used in Human Robot Interaction (HRI) research by including social robots in health-care interventions by virtue of their ability to engage human users in both social and emotional…

This work developed a meta-learning approach that adapts the control policy on the fly to different changing conditions for robust locomotion. The proposed method constantly updates the interaction model, samples feasible sequences of…

Robotics · Computer Science 2021-01-20 Timothée Anne , Jack Wilkinson , Zhibin Li

Uncertainty is a major difficulty in endowing robots with autonomy. Robots often fail due to unexpected events. In robot contact tasks are often design to empirically look for force thresholds to define state transitions in a Markov chain…

Robotics · Computer Science 2017-08-02 Juan Rojas , Zhengjie Huang , Kensuke Harada

Multimodal instruction tuning has proven to be an effective strategy for achieving zero-shot generalization by fine-tuning pre-trained Large Multimodal Models (LMMs) with instruction-following data. However, as the scale of LMMs continues…

It is necessary for a mobile robot to be able to efficiently plan a path from its starting, or current, location to a desired goal location. This is a trivial task when the environment is static. However, the operational environment of the…

Robotics · Computer Science 2017-04-18 Devin Connell , Hung Manh La

This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art…

Systems and Control · Electrical Eng. & Systems 2020-07-09 Alessandro Abate , Alessandro Cimatti , Andrea Micheli , Muhammad Syifa'ul Mufid

A variety of autonomous navigation algorithms exist that allow robots to move around in a safe and fast manner. However, many of these algorithms require parameter re-tuning when facing new environments. In this paper, we propose PTDRL, a…

Robotics · Computer Science 2023-06-21 Elias Goldsztejn , Tal Feiner , Ronen Brafman

Large Language Models (LLMs) have been widely utilized to perform complex robotic tasks. However, handling external disturbances during tasks is still an open challenge. This paper proposes a novel method to achieve robotic adaptive tasks…

Robotics · Computer Science 2024-08-20 Haotian Zhou , Yunhan Lin , Longwu Yan , Jihong Zhu , Huasong Min

With a slender redundant body, the tendon-driven robot (TDR) has a large workspace and great maneuverability while working in complex environments. TDR comprises multiple independently controlled robot segments, each with a set of driving…

Robotics · Computer Science 2025-07-24 Botao Lin , Shuang Song , Jiaole Wang

Constraint-based control approaches offer a flexible way to specify robotic manipulation tasks and execute them on robots with many degrees of freedom. However, the specification of task constraints and their associated priorities usually…

Robotics · Computer Science 2021-04-14 Dennis Mronga , Frank Kirchner

Code LLMs have shown promising results with converting tasks in natural language to programs that can be executed by service robots. We are interested in finetuning small, specialized LLMs for this purpose, but collecting datasets of…

Computation and Language · Computer Science 2025-10-13 Zichao Hu , Junyi Jessy Li , Arjun Guha , Joydeep Biswas

Terrain adaptation is an essential capability for a ground robot to effectively traverse unstructured off-road terrain in real-world field environments such as forests. However, the expected robot behaviors generated by terrain adaptation…

Robotics · Computer Science 2021-01-05 Sriram Siva , Maggie Wigness , John G. Rogers , Hao Zhang

The research of a socially assistive robot has a potential to augment and assist physical therapy sessions for patients with neurological and musculoskeletal problems (e.g. stroke). During a physical therapy session, generating personalized…

Human-Computer Interaction · Computer Science 2020-07-14 Min Hun Lee , Daniel P. Siewiorek , Asim Smailagic , Alexandre Bernardino , Sergi Bermúdez i Badia

Achieving reactive robot behavior in complex dynamic environments is still challenging as it relies on being able to solve trajectory optimization problems quickly enough, such that we can replan the future motion at frequencies which are…

Robotics · Computer Science 2023-03-15 Julius Jankowski , Lara Brudermüller , Nick Hawes , Sylvain Calinon

Real-world reinforcement learning (RL) offers a promising approach to training precise and dexterous robotic manipulation policies in an online manner, enabling robots to learn from their own experience while gradually reducing human labor.…

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

This paper addresses the problem of robotic cutting during disassembly of products for materials separation and recycling. Waste handling applications differ from milling in manufacturing processes, as they engender considerable variety and…

Robotics · Computer Science 2023-08-30 Jamie Hathaway , Alireza Rastegarpanah , Rustam Stolkin

Predicting multimodal future behavior of traffic participants is essential for robotic vehicles to make safe decisions. Existing works explore to directly predict future trajectories based on latent features or utilize dense goal candidates…

Computer Vision and Pattern Recognition · Computer Science 2023-03-21 Shaoshuai Shi , Li Jiang , Dengxin Dai , Bernt Schiele