English
Related papers

Related papers: Optimal Planning for Timed Partial Order Specifica…

200 papers

We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonholonomic dynamics. Existing methods in multi-agent motion…

Robotics · Computer Science 2022-01-17 Dawei Sun , Jingkai Chen , Sayan Mitra , Chuchu Fan

We transform join ordering into a mixed integer linear program (MILP). This allows to address query optimization by mature MILP solver implementations that have evolved over decades and steadily improved their performance. They offer…

Databases · Computer Science 2015-11-09 Immanuel Trummer , Christoph Koch

We study the demand-robust fleet size vehicle routing problem with time windows and compatibility constraints. Unlike traditional robust optimization, which considers uncertainty in the data, demand-robust optimization considers uncertainty…

Systems and Control · Electrical Eng. & Systems 2024-06-13 Jordan Makansi

The Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that encompassing jobs can be completed as early as possible. In…

Artificial Intelligence · Computer Science 2025-08-13 Mohammed M. S. El-Kholany , Martin Gebser , Konstantin Schekotihin

In multi-robot multi-target tracking, robots coordinate to monitor groups of targets moving about an environment. We approach planning for such scenarios by formulating a receding-horizon, multi-robot sensing problem with a mutual…

Robotics · Computer Science 2021-07-20 Micah Corah , Nathan Michael

In this work, we systematically examine the application of spatio-temporal splitting heuristics to the Multi-Robot Motion Planning (MRMP) problem in a graph-theoretic setting: a problem known to be NP-hard to optimally solve. Following the…

Robotics · Computer Science 2021-03-29 Teng Guo , Shuai D. Han , Jingjin Yu

The Traveling Salesman Problem (TSP) is a well-known NP-hard combinatorial optimization problem with wide-ranging applications in logistics, routing, and intelligent systems. Due to its factorial complexity, solving large-scale instances…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-27 Rabab Alkhalifa , Fatima Alkhomayes , Boushra Almazroua , Dana Alhaidan , Maryam Alothman , Jumana Almuhaidib

This work studies the planning problem for robotic systems under both quantifiable and unquantifiable uncertainty. The objective is to enable the robotic systems to optimally fulfill high-level tasks specified by Linear Temporal Logic (LTL)…

Robotics · Computer Science 2025-02-28 Pian Yu , Yong Li , David Parker , Marta Kwiatkowska

In this paper we study the following multi-robot coordination problem: given a graph, where each edge is weighted by the probability of surviving while traversing it, find a set of paths for $K$ robots that maximizes the expected number of…

Robotics · Computer Science 2016-12-13 Stefan Jorgensen , Robert H. Chen , Mark B. Milam , Marco Pavone

We consider a capacitated job shop problem with order acceptance. This research is motivated by the management of a research and development project pipeline for a company in the agricultural industry whose success depends on regularly…

Optimization and Control · Mathematics 2024-12-02 Florian Linß , Mike Hewitt , Janis S. Neufeld , Udo Buscher

This paper reviews the current progress in applying machine learning (ML) tools to solve NP-hard combinatorial optimization problems, with a focus on routing problems such as the traveling salesman problem (TSP) and the vehicle routing…

Artificial Intelligence · Computer Science 2025-10-09 Fangting Zhou , Attila Lischka , Balazs Kulcsar , Jiaming Wu , Morteza Haghir Chehreghani , Gilbert Laporte

This article presents MAPS$^2$ : a distributed algorithm that allows multi-robot systems to deliver coupled tasks expressed as Signal Temporal Logic (STL) constraints. Classical control theoretical tools addressing STL constraints either…

Robotics · Computer Science 2025-12-17 Mayank Sewlia , Christos K. Verginis , Dimos V. Dimarogonas

The Team Orienteering Problem with Service Times and Mandatory & Incompatible Nodes (TOP-ST-MIN) is a variant of the classic Team Orienteering Problem (TOP), which includes three novel features that stem from two real-world problems…

Optimization and Control · Mathematics 2024-10-17 Alberto Guastalla , Roberto Aringhieri , Pierre Hosteins

We present a unified framework for minimizing average completion time for many seemingly disparate online scheduling problems, such as the traveling repairperson problems (TRP), dial-a-ride problems (DARP), and scheduling on unrelated…

Data Structures and Algorithms · Computer Science 2021-05-18 Marcin Bienkowski , Artur Kraska , Hsiang-Hsuan Liu

The Multi-Traveling Salesman Problem (MTSP) is a commonly used mathematical model for multi-agent task allocation. However, as the number of agents and task targets increases, existing optimization-based methods often incur prohibitive…

Systems and Control · Electrical Eng. & Systems 2025-12-01 Xiubin Chen

This paper presents a hierarchical framework to solve the multi-robot temporal task planning problem. We assume that each robot has its individual task specification and the robots have to jointly satisfy a global collaborative task…

Robotics · Computer Science 2023-08-29 Ruofei Bai , Ronghao Zheng , Yang Xu , Meiqin Liu , Senlin Zhang

The Traveling Thief Problem (TTP) is a multi-component optimization problem that captures the interplay between routing and packing decisions by combining the classical Traveling Salesperson Problem (TSP) and the Knapsack Problem (KP). The…

Data Structures and Algorithms · Computer Science 2026-04-22 Jan Eube , Kelin Luo , Aneta Neumann , Frank Neumann , Heiko Röglin

This paper proposes a framework for scheduling the observation and download tasks of multiple agile satellites with practical considerations such as attitude transition time, onboard data capacity, and stereoscopic image acquisition. A…

Systems and Control · Electrical Eng. & Systems 2019-12-03 Junhong Kim , Doo-Hyun Cho , Jaemyung Ahn , Han-Lim Choi

Route planning for a fleet of vehicles is an important task in applications such as package delivery, surveillance, or transportation, often integrated within larger Intelligent Transportation Systems (ITS). This problem is commonly…

Artificial Intelligence · Computer Science 2025-05-21 Daniel Fuertes , Carlos R. del-Blanco , Fernando Jaureguizar , Narciso García

The Multiple Traveling Salesman Problem (MTSP) extends the traveling salesman problem by assigning multiple salesmen to visit a set of targets from a common depot, with each target visited exactly once while minimizing total tour length. A…

Optimization and Control · Mathematics 2026-04-28 Abhay Singh Bhadoriya , Deepjyoti Deka , Kaarthik Sundar