English
Related papers

Related papers: Real-Time Model Checking for Closed-Loop Robot Rea…

200 papers

This paper introduces LIVE: Lidar Informed Visual Search focused on the problem of multi-robot (MR) planning and execution for robust visual detection of multiple objects. We perform extensive real-world experiments with a two-robot team in…

Robotics · Computer Science 2023-10-10 Ryan Gupta , Minkyu Kim , Juliana T Rodriguez , Kyle Morgenstein , Luis Sentis

Balancing safety and efficiency when planning in crowded scenarios with uncertain dynamics is challenging where it is imperative to accomplish the robot's mission without incurring any safety violations. Typically, chance constraints are…

Robotics · Computer Science 2023-02-22 Khaled A. Mustafa , Oscar de Groot , Xinwei Wang , Jens Kober , Javier Alonso-Mora

In fast-paced, ever-changing environments, dynamic Motion Planning for Multi-Agent Systems in the presence of obstacles is a universal and unsolved problem. Be it from path planning around obstacles to the movement of robotic arms, or in…

Robotics · Computer Science 2025-02-11 Brandon Ho , Batuhan Altundas , Matthew Gombolay

Object rearrangement is a fundamental problem in robotics with various practical applications ranging from managing warehouses to cleaning and organizing home kitchens. While existing research has primarily focused on single-agent…

Robotics · Computer Science 2023-11-07 Vivek Gupta , Praphpreet Dhir , Jeegn Dani , Ahmed H. Qureshi

To solve multi-step manipulation tasks in the real world, an autonomous robot must take actions to observe its environment and react to unexpected observations. This may require opening a drawer to observe its contents or moving an object…

Trajectory planning for multiple robots in shared environments is a challenging problem especially when there is limited communication available or no central entity. In this article, we present Real-time planning using Linear Spatial…

Robotics · Computer Science 2023-04-04 Baskın Şenbaşlar , Wolfgang Hönig , Nora Ayanian

Robot swarm is a hot spot in robotic research community. In this paper, we propose a decentralized framework for car-like robotic swarm which is capable of real-time planning in cluttered environments. In this system, path finding is guided…

Robotics · Computer Science 2023-07-06 Changjia Ma , Zhichao Han , Tingrui Zhang , Jingping Wang , Long Xu , Chengyang Li , Chao Xu , Fei Gao

This letter presents a novel coarse-to-fine motion planning framework for robotic manipulation in cluttered, unmodeled environments. The system integrates a dual-camera perception setup with a B-spline-based model predictive control (MPC)…

Robotics · Computer Science 2025-07-16 Chen Cai , Ernesto Dickel Saraiva , Ya-jun Pan , Steven Liu

In the endeavor to make autonomous robots take actions, task planning is a major challenge that requires translating high-level task descriptions to long-horizon action sequences. Despite recent advances in language model agents, they…

Robotics · Computer Science 2025-06-19 Jinghan Li , Zhicheng Sun , Yadong Mu

Complex manipulation tasks, such as rearrangement planning of numerous objects, are combinatorially hard problems. Existing algorithms either do not scale well or assume a great deal of prior knowledge about the environment, and few offer…

Robotics · Computer Science 2021-03-25 Vasileios Vasilopoulos , Yiannis Kantaros , George J. Pappas , Daniel E. Koditschek

As autonomous vehicles move from a simplified research setting to practical use, there exists a large gap between the dynamic behavior of a human driving and an autonomous system. Risk-aware behavior needs to naturally develop in order to…

Robotics · Computer Science 2026-05-14 Jason Gibson , Bogdan Vlahov , Patrick Spieler , Evangelos A. Theodorou

Collision-free mobile robot navigation is an important problem for many robotics applications, especially in cluttered environments. In such environments, obstacles can be static or dynamic. Dynamic obstacles can additionally be…

Robotics · Computer Science 2023-02-28 Baskın Şenbaşlar , Gaurav S. Sukhatme

Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to…

Robotics · Computer Science 2025-07-11 Korbinian Moller , Rafael Neher , Marvin Seegert , Johannes Betz

When humans perform everyday tasks, we naturally adjust our actions based on the current state of the environment. For instance, if we intend to put something into a drawer but notice it is closed, we open it first. However, many autonomous…

Robotics · Computer Science 2025-08-18 Che Rin Yu , Daewon Chae , Dabin Seo , Sangwon Lee , Hyeongwoo Im , Jinkyu Kim

Robots interacting with humans must be safe, reactive and adapt online to unforeseen environmental and task changes. Achieving these requirements concurrently is a challenge as interactive planners lack formal safety guarantees, while safe…

Robotics · Computer Science 2024-05-01 Farhad Nawaz , Shaoting Peng , Lars Lindemann , Nadia Figueroa , Nikolai Matni

Current robots are capable of computing plans to accomplish complex tasks. However, real-world environments are inherently open and dynamic, and unforeseen situations frequently arise during plan execution, such as jamming doors and fallen…

Visual localization plays a critical role in the functionality of low-cost autonomous mobile robots. Current state-of-the-art approaches for achieving accurate visual localization are 3D scene-specific, requiring additional computational…

Robotics · Computer Science 2023-09-06 Yanmei Jiao , Binxin Zhang , Peng Jiang , Chaoqun Wang , Rong Xiong , Yue Wang

In this paper, we perform safety and performance analysis of an autonomous vehicle that implements reactive planner and controller for navigating a race lap. Unlike traditional planning algorithms that have access to a map of the…

Robotics · Computer Science 2021-07-14 Abolfazl Karimi , Manish Goyal , Parasara Sridhar Duggirala

We present a centralized algorithmic framework for solving multi-robot path planning problems in general, two-dimensional, continuous environments while minimizing globally the task completion time. The framework obtains high levels of…

Robotics · Computer Science 2015-07-14 Jingjin Yu , Daniela Rus

Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the…

Robotics · Computer Science 2020-07-24 Livia Lestingi , Mehrnoosh Askarpour , Marcello M. Bersani , Matteo Rossi