English
Related papers

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

200 papers

Generating robot motion that fulfills multiple tasks simultaneously is challenging due to the geometric constraints imposed by the robot. In this paper, we propose to solve multi-task problems through learning structured policies from human…

Robotics · Computer Science 2021-03-12 M. Asif Rana , Anqi Li , Dieter Fox , Sonia Chernova , Byron Boots , Nathan Ratliff

The emergence of vision catalysed a pivotal evolutionary advancement, enabling organisms not only to perceive but also to interact intelligently with their environment. This transformation is mirrored by the evolution of robotic systems,…

Robotics · Computer Science 2025-03-06 Yuhang Hu , Jiong Lin , Hod Lipson

When humans perform contact-rich manipulation tasks, customized tools are often necessary to simplify the task. For instance, we use various utensils for handling food, such as knives, forks and spoons. Similarly, robots may benefit from…

Robotics · Computer Science 2023-02-28 Mengxi Li , Rika Antonova , Dorsa Sadigh , Jeannette Bohg

Language-capable robots hold unique persuasive power over humans, and thus can help regulate people's behavior and preserve a better moral ecosystem, by rejecting unethical commands and calling out norm violations. However, miscalibrated…

Robotics · Computer Science 2022-10-18 Ruchen Wen , Tom Williams

To reliably model real robot characteristics, interval linear systems of equations allow to describe families of problems that consider sets of values. This allows to easily account for typical complexities such as sets of joint states and…

Robotics · Computer Science 2021-04-02 Joshua Pickard , Vincent Padois , Milan Hladík , David Daney

Reconfigurable robots that can change their physical configuration post-fabrication have demonstrate their potential in adapting to different environments or tasks. However, it is challenging to determine how to optimally adjust…

Robotics · Computer Science 2025-04-15 Zhe Chen , Li Chen , Hao Zhang , Jianguo Zhao

Embodied robots which can interact with their environment and neighbours are increasingly being used as a test case to develop Artificial Intelligence. This creates a need for multimodal robot controllers that can operate across different…

Robotics · Computer Science 2025-02-05 William Hunt , Sarvapali D. Ramchurn , Mohammad D. Soorati

Robots operating in the real world will experience a range of different environments and tasks. It is essential for the robot to have the ability to adapt to its surroundings to work efficiently in changing conditions. Evolutionary robotics…

Robotics · Computer Science 2020-10-21 Tønnes F. Nygaard , Charles P. Martin , David Howard , Jim Torresen , Kyrre Glette

Intelligent robots need to generate and execute plans. In order to deal with the complexity of real environments, planning makes some assumptions about the world. When executing plans, the assumptions are usually not met. Most works have…

Artificial Intelligence · Computer Science 2024-03-20 Daniel Borrajo , Manuela Veloso

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space…

Robotics · Computer Science 2023-01-02 Akhil Sathuluri , Anand Vazhapilli Sureshbabu , Markus Zimmermann

In recent years, a number of models that learn the relations between vision and language from large datasets have been released. These models perform a variety of tasks, such as answering questions about images, retrieving sentences that…

Robotics · Computer Science 2024-03-19 Kento Kawaharazuka , Yoshiki Obinata , Naoaki Kanazawa , Kei Okada , Masayuki Inaba

We present a modular framework for solving a motion planning problem among a group of robots. The proposed framework utilizes a finite set of low level motion primitives to generate motions in a gridded workspace. The constraints on…

Robotics · Computer Science 2025-10-20 Marijan Vukosavljev , Zachary Kroeze , Angela P. Schoellig , Mireille E. Broucke

The ability to modify morphology in response to environmental changes represents a highly advantageous feature in biological organisms, facilitating their adaptation to diverse environmental conditions. While some robots have the capability…

Robotics · Computer Science 2023-09-20 Saurav Kumar Dutta , Yasemin Ozkan-Aydin

Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true…

Software Engineering · Computer Science 2017-08-25 Dániel Horpácsi , Judit Kőszegi , Zoltán Horváth

Robot manipulation in cluttered environments often requires complex and sequential rearrangement of multiple objects in order to achieve the desired reconfiguration of the target objects. Due to the sophisticated physical interactions…

Robotics · Computer Science 2022-08-05 Kejia Ren , Lydia E. Kavraki , Kaiyu Hang

Modular robots can be tailored to achieve specific tasks and rearranged to achieve previously infeasible ones. The challenge is choosing an appropriate design from a large search space. In this work, we describe a framework that…

Robotics · Computer Science 2021-06-18 Thais Campos , Hadas Kress-Gazit

Autonomous robotic inspection, where a robot moves through its environment and inspects points of interest, has applications in industrial settings, structural health monitoring, and medicine. Planning the paths for a robot to safely and…

Robotic systems operating in unstructured environments require the ability to switch between compliant and rigid states to perform diverse tasks such as adaptive grasping, high-force manipulation, shape holding, and navigation in…

Robotics · Computer Science 2025-09-10 Jianshu Zhou , Wei Chen , Junda Huang , Boyuan Liang , Yunhui Liu , Masayoshi Tomizuka

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