Skip to content

Atlas / Learn / Papers / 2607.21197

arXiv · arXiv preprint

Declarative Problem Solving in UAM Strategic Deconfliction

Published 2026-07-23 4 authors
Read paper (PDF) ↗ View on arXiv ↗

Attribution

This is the abstract and citation. Full text lives at arXiv — we link out rather than host. All credit to the authors and arXiv.

Abstract

Verbatim from arXiv. Not paraphrased, not summarized.

The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions. As the number of aerial vehicles-such as drones, air taxis, and helicopters-continues to rise, so does the risk of mid-air collisions and conflicts with existing air traffic and obstacles. Ensuring safe and efficient UAM operations requires robust strategic deconfliction mechanisms. We propose an Answer Set Programming (ASP) based approach for strategic deconfliction, focusing on time synchronization and route optimization for conflict-free flight plans. The solution is benchmarked against Constraint Programming (CP), emphasizing scalability and resource use. Results show that ASP offers faster execution and better scalability for small to medium cases, while CP maintains stable memory but degrades with complexity.

Authors

  • Gioacchino Sterlicchio DMMM, Polytechnic University of Bari, Bari, Italy
  • Angelo Oddi ISTC-CNR, Rome, Italy
  • Riccardo Rasconi ISTC-CNR, Rome, Italy
  • Francesca Alessandra Lisi DIB and CILA, University of Bari Aldo Moro, Bari, Italy

Keywords

  • cs.LO
  • cs.AI

Citation: Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi , et al. (2026). Declarative Problem Solving in UAM Strategic Deconfliction. arXiv ID 2607.21197. https://arxiv.org/abs/2607.21197 ↗