English
Related papers

Related papers: Automated Task Updates of Temporal Logic Specifica…

200 papers

In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the environment is modeled as a general transition system, enhanced with…

Robotics · Computer Science 2010-07-16 Stephen L. Smith , Jana Tumova , Calin Belta , Daniela Rus

We present a novel mission-planning strategy for heterogeneous multi-robot teams, taking into account the specific constraints and capabilities of each robot. Our approach employs hierarchical trees to systematically break down complex…

Robotics · Computer Science 2025-01-29 Piyush Gupta , David Isele , Enna Sachdeva , Pin-Hao Huang , Behzad Dariush , Kwonjoon Lee , Sangjae Bae

We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied at the regions of a…

Optimization and Control · Mathematics 2015-03-19 Xu Chu Ding , Stephen L. Smith , Calin Belta , Daniela Rus

Task allocation has been a well studied problem. In most prior problem formulations, it is assumed that each task is associated with a unique set of resource requirements. In the scope of multi-robot task allocation problem, these…

Artificial Intelligence · Computer Science 2020-07-03 Zakk Giacometti , Yu Zhang

This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them…

Robotics · Computer Science 2020-12-16 Yiannis Kantaros , Matthew Malencia , George J. Pappas

Increasing interest in integrating advanced robotics within manufacturing has spurred a renewed concentration in developing real-time scheduling solutions to coordinate human-robot collaboration in this environment. Traditionally, the…

Robotics · Computer Science 2020-06-30 Zheyuan Wang , Matthew Gombolay

In this paper, we consider the dynamic multi-robot distribution problem where a heterogeneous group of networked robots is tasked to spread out and simultaneously move towards multiple moving task areas while maintaining connectivity. The…

Robotics · Computer Science 2021-04-29 Chendi Lin , Wenhao Luo , Katia Sycara

This paper addresses planning problems for mobile robots. We consider missions that require accomplishing multiple high-level sub-tasks, expressed in natural language (NL), in a temporal and logical order. To formally define the mission, we…

Robotics · Computer Science 2025-09-18 Jun Wang , Jiaming Tong , Kaiyuan Tan , Yevgeniy Vorobeychik , Yiannis Kantaros

Robots operating in real-world human environments will likely encounter task execution failures. To address this, we would like to allow co-present humans to refine the robot's task model as errors are encountered. Existing approaches to…

Robotics · Computer Science 2018-10-03 Reymundo A. Gutierrez , Elaine Schaertl Short , Scott Niekum , Andrea L. Thomaz

One simplifying assumption in existing and well-performing task allocation methods is that the robots are single-tasking: each robot operates on a single task at any given time. While this assumption is harmless to make in some situations,…

Robotics · Computer Science 2026-03-10 Winston Smith , Yu Zhang

We consider the human-aware task planning problem where a human-robot team is given a shared task with a known objective to achieve. Recent approaches tackle it by modeling it as a team of independent, rational agents, where the robot plans…

Robotics · Computer Science 2022-10-18 Anthony Favier , Shashank Shekhar , Rachid Alami

In human-robot teams where agents collaborate together, there needs to be a clear allocation of tasks to agents. Task allocation can aid in achieving the presumed benefits of human-robot teams, such as improved team performance. Many task…

Robotics · Computer Science 2022-10-10 Arsha Ali , Dawn M. Tilbury , Lionel P. Robert

A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level task; however, when a task cannot be accomplished with a given set of skills, it is…

Robotics · Computer Science 2022-07-07 Adam Pacheck , Hadas Kress-Gazit

Task allocation in multi-human multi-robot (MH-MR) teams presents significant challenges due to the inherent heterogeneity of team members, the dynamics of task execution, and the information uncertainty of operational states. Existing…

Robotics · Computer Science 2025-03-12 Ziqin Yuan , Ruiqi Wang , Taehyeon Kim , Dezhong Zhao , Ike Obi , Byung-Cheol Min

Given a collaborative high-level task and a team of heterogeneous robots and behaviors to satisfy it, this work focuses on the challenge of automatically, at runtime, adjusting the individual robot behaviors such that the task is still…

Robotics · Computer Science 2024-09-10 Amy Fang , Tenny Yin , Hadas Kress-Gazit

This study examines the problem of hopping robot navigation planning to achieve simultaneous goal-directed and environment exploration tasks. We consider a scenario in which the robot has mandatory goal-directed tasks defined using Linear…

Robotics · Computer Science 2024-07-10 Jesse Jiang , Samuel Coogan , Ye Zhao

Efficient task allocation among multiple robots is crucial for optimizing productivity in modern warehouses, particularly in response to the increasing demands of online order fulfillment. This paper addresses the real-time multi-robot task…

Robotics · Computer Science 2025-02-27 Aritra Pal , Anandsingh Chauhan , Mayank Baranwal

Designing multi-agent robotic systems requires reasoning across tightly coupled decisions spanning heterogeneous domains, including robot design, fleet composition, and planning. Much effort has been devoted to isolated improvements in…

Robotics · Computer Science 2026-04-24 Maximilian Stralz , Meshal Alharbi , Yujun Huang , Gioele Zardini

Artificial agents will need to be aware of human moral and social norms, and able to use them in decision-making. In particular, artificial agents will need a principled approach to managing conflicting norms, which are common in human…

Systems and Control · Computer Science 2017-11-21 Daniel Kasenberg , Matthias Scheutz

As multi-agent networks grow in size and scale, they become increasingly difficult to synchronize, though agents must work together even when generating and sharing different information at different times. Targeting such cases, this paper…

Optimization and Control · Mathematics 2018-09-18 Stefan Hochhaus , Matthew Hale