English
Related papers

Related papers: Making Robots Play by the Rules: The ROS 2 CLIPS-E…

200 papers

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process…

Artificial Intelligence · Computer Science 2020-02-13 Cristina Cornelio , Veronika Thost

Simulation is crucial in real-world robotics, offering safe, scalable, and efficient environments for developing applications, ranging from humanoid robots to autonomous vehicles and drones. While the Robot Operating System (ROS) has been…

Robotics · Computer Science 2026-01-13 Simon Sagmeister , Marcel Weinmann , Phillip Pitschi , Markus Lienkamp

Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches…

Logic in Computer Science · Computer Science 2023-12-01 Matt Luckcuck , Marie Farrell , Angelo Ferrando , Rafael C. Cardoso , Louise A. Dennis , Michael Fisher

Reinforcement learning is a promising approach for learning control policies for robot tasks. However, specifying complex tasks (e.g., with multiple objectives and safety constraints) can be challenging, since the user must design a reward…

Machine Learning · Computer Science 2020-10-30 Kishor Jothimurugan , Rajeev Alur , Osbert Bastani

There has always been much motivation for sharing code and solutions among teams in the RoboCup community. Yet the transfer of code between teams was usually complicated due to a huge variety of used frameworks and their differences in…

Robotics · Computer Science 2020-08-13 Marcus M. Scheunemann , Sander G. van Dijk

This paper describes an Open Source Software (OSS) project: PythonRobotics. This is a collection of robotics algorithms implemented in the Python programming language. The focus of the project is on autonomous navigation, and the goal is…

Robotics · Computer Science 2018-09-10 Atsushi Sakai , Daniel Ingram , Joseph Dinius , Karan Chawla , Antonin Raffin , Alexis Paques

This paper introduces RobotIQ, a framework that empowers mobile robots with human-level planning capabilities, enabling seamless communication via natural language instructions through any Large Language Model. The proposed framework is…

Robotics · Computer Science 2025-02-19 Emmanuel K. Raptis , Athanasios Ch. Kapoutsis , Elias B. Kosmatopoulos

Known attempts to build autonomous robots rely on complex control architectures, often implemented with the Robot Operating System platform (ROS). Runtime adaptation is needed in these systems, to cope with component failures and with…

The Robot Operating System 2 (ROS 2) is the second generation of ROS representing a step forward in the robotic framework. Several new types of nodes and executor models are integral to control where, how, and when information is processed…

Robotics · Computer Science 2023-05-18 Steve Macenski , Alberto Soragna , Michael Carroll , Zhenpeng Ge

Testing and evaluation of robotics systems is a difficult and oftentimes tedious task due to the systems' complexity and a lack of tools to conduct reproducible robotics experiments. Additionally, almost all available tools are either…

Robotics · Computer Science 2024-09-12 Frederik Pasch , Florian Mirus , Yongzhou Zhang , Kay-Ulrich Scholl

People often give instructions whose meaning is ambiguous without further context, expecting that their actions or goals will disambiguate their intentions. How can we build assistive agents that follow such instructions in a flexible,…

Artificial Intelligence · Computer Science 2024-02-29 Tan Zhi-Xuan , Lance Ying , Vikash Mansinghka , Joshua B. Tenenbaum

We propose an instructions-based approach for robot programming where the programmer interacts with the robot by issuing simple commands in a scripting language, like python. Internally, these commands make use of pre-programmed motion and…

Robotics · Computer Science 2024-07-30 Rafael de la Guardia

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

Robots operating in human-centric environments require the integration of visual grounding and grasping capabilities to effectively manipulate objects based on user instructions. This work focuses on the task of referring grasp synthesis,…

Robotics · Computer Science 2023-11-13 Georgios Tziafas , Yucheng Xu , Arushi Goel , Mohammadreza Kasaei , Zhibin Li , Hamidreza Kasaei

Automated driving is currently a prominent area of scientific work. In the future, highly automated driving and new Advanced Driver Assistance Systems will become reality. While Advanced Driver Assistance Systems and automated driving…

Robotics · Computer Science 2025-10-29 Jorin Kouril , Bernd Schäufele , Ilja Radusch , Bettina Schnor

Robotic systems are more connected, networked, and distributed than ever. New architectures that comply with the \textit{de facto} robotics middleware standard, ROS\,2, have recently emerged to fill the gap in terms of hybrid systems…

Industrial robotics is characterized by sophisticated mechanical components and highly-developed real-time control algorithms. However, the efficient use of robotic systems is very much limited by existing proprietary programming methods.…

Robotics · Computer Science 2013-03-28 Andreas Angerer , Remi Smirra , Alwin Hoffmann , Andreas Schierl , Michael Vistein , Wolfgang Reif

In traditional robot behavior programming, the edit-compile-simulate-deploy-run cycle creates a large mental disconnect between program creation and eventual robot behavior. This significantly slows down behavior development because there…

Programming Languages · Computer Science 2014-12-16 Pablo Estefó , Miguel Campusano , Luc Fabresse , Johan Fabry , Jannik Laval , Noury Bouraqad

ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint…

Programming Languages · Computer Science 2010-12-21 Joachim Schimpf , Kish Shen

Intelligent and reliable task planning is a core capability for generalized robotics, requiring a descriptive domain representation that sufficiently models all object and state information for the scene. We present CLIMB, a continual…

Robotics · Computer Science 2024-10-18 Walker Byrnes , Miroslav Bogdanovic , Avi Balakirsky , Stephen Balakirsky , Animesh Garg