English
Related papers

Related papers: Correct-by-Construction Approach for Self-Evolvabl…

200 papers

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

Spoken language is a convenient interface for commanding a mobile robot. Yet for this to work a number of base terms must be grounded in perceptual and motor skills. We detail the language processing used on our robot ELI and explain how…

Robotics · Computer Science 2018-08-01 Jonathan Connell

It has been an ambition of many to control a robot for a complex task using natural language (NL). The rise of large language models (LLMs) makes it closer to coming true. However, an LLM-powered system still suffers from the ambiguity…

Robotics · Computer Science 2025-03-10 Teun van de Laar , Zengjie Zhang , Shuhao Qi , Sofie Haesaert , Zhiyong Sun

Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC…

Logic in Computer Science · Computer Science 2024-02-14 Tobias Runge , Tabea Bordis , Alex Potanin , Thomas Thüm , Ina Schaefer

The challenge of robotic reproduction -- making of new robots by recombining two existing ones -- has been recently cracked and physically evolving robot systems have come within reach. Here we address the next big hurdle: producing an…

Artificial Intelligence · Computer Science 2020-10-20 Gongjin Lan , Maarten van Hooft , Matteo De Carlo , Jakub M. Tomczak , A. E. Eiben

Caging is a promising tool which allows a robot to manipulate an object without directly reasoning about the contact dynamics involved. Furthermore, caging also provides useful guarantees in terms of robustness to uncertainty, and often…

Robotics · Computer Science 2019-08-05 Bernardo Aceituno-Cabezas , Hongkai Dai , Alberto Rodriguez

Multi-robot systems, particularly mobile manipulators, face challenges in control coordination and dynamic stability when working together. To address this issue, this study proposes MobiDock, a modular self-reconfigurable mobile…

Robotics · Computer Science 2026-03-10 Xuan-Thuan Nguyen , Khac Nam Nguyen , Ngoc Duy Tran , Thi Thoa Mac , Anh Nguyen , Hoang Hiep Ly , Tung D. Ta

Natural language is the most intuitive medium for us to interact with other people when expressing commands and instructions. However, using language is seldom an easy task when humans need to express their intent towards robots, since most…

Robotics · Computer Science 2022-03-28 Arthur Bucker , Luis Figueredo , Sami Haddadin , Ashish Kapoor , Shuang Ma , Rogerio Bonatti

With increasing demand for mass customization, traditional manufacturing robots that rely on rule-based operations lack the flexibility to accommodate customized or new product variants. Human-Robot Collaboration has demonstrated potential…

Robotics · Computer Science 2026-03-24 Jiabao Zhao , Jonghan Lim , Hongliang Li , Ilya Kovalenko

The intrinsic modularity and reconfigurability of modular reconfigurable robots (MRR) confer advantages such as versatility, fault tolerance, and economic efficacy, thereby showcasing considerable potential across diverse applications. The…

Robotics · Computer Science 2023-10-17 Guanqi Liang , Di Wu , Yuxiao Tu , Tin Lun Lam

Large language models (LLMs) have gained increasing popularity in robotic task planning due to their exceptional abilities in text analytics and generation, as well as their broad knowledge of the world. However, they fall short in decoding…

Robotics · Computer Science 2024-08-01 Aoran Mei , Guo-Niu Zhu , Huaxiang Zhang , Zhongxue Gan

Model-based planning and execution systems offer a principled approach to building flexible autonomous robots that can perform diverse tasks by automatically combining a host of basic skills. This idea is almost as old as modern robotics.…

Robotics · Computer Science 2025-05-08 Or Wertheim , Ronen I. Brafman

We study the problem of motion-planning for free-flying multi-link robots and develop a sampling-based algorithm that is specifically tailored for the task. Our work is based on the simple observation that the set of configurations for…

Robotics · Computer Science 2015-11-26 Oren Salzman , Kiril Solovey , Dan Halperin

Multi-mobile robot systems show great advantages over one single robot in many applications. However, the robots are required to form desired task-specified formations, making feasible motions decrease significantly. Thus, it is challenging…

Robotics · Computer Science 2022-10-10 Wenhang Liu , Jiawei Hu , Heng Zhang , Michael Yu Wang , Zhenhua Xiong

Vision foundation models trained on massive amounts of visual data have shown unprecedented reasoning and planning skills in open-world settings. A key challenge in applying them to robotic tasks is the modality gap between visual data and…

Robotics · Computer Science 2024-10-18 Ruoshi Liu , Alper Canberk , Shuran Song , Carl Vondrick

Identifying and categorizing specific robot tasks, behaviors, and resources is an essential precursor to reproducing and evaluating robotics experiments across laboratories and platforms. Without some means of capturing how one environment,…

Robotics · Computer Science 2021-01-08 Signe A. Redfield

Modular soft robots have shown higher potential in sophisticated tasks than single-module robots. However, the modular structure incurs the complexity of accurate control and necessitates a control strategy specifically for modular robots.…

Robotics · Computer Science 2024-01-23 Zixi Chen , Matteo Bernabei , Vanessa Mainardi , Xuyang Ren , Gastone Ciuti , Cesare Stefanini

The control architecture of autonomous robots can be developed by programming and integrating multiple software components that individually control separate behaviors. This approach requires additional mechanisms to coordinate their…

Robotics · Computer Science 2021-03-12 Martin Molina , Pablo Santamaria , Abraham Carrera

Smart factories that allow flexible production of highly individualized goods require flexible robots, usable in efficient assembly lines. Compliant robots can work safely in shared environments with domain experts, who have to program such…

Software Engineering · Computer Science 2016-01-13 Arvid Butting , Bernhard Rumpe , Christoph Schulze , Ulrike Thomas , Andreas Wortmann

For the robots to achieve a desired behavior, we can program them directly, train them, or give them an innate driver that makes the robots themselves desire the targeted behavior. With the minimal surprise approach, we implant in our…

Robotics · Computer Science 2024-05-07 Tanja Katharina Kaiser , Heiko Hamann