Hugging Face Trending Papers

Joint Air Traffic Flow and Capacity Management via Answer Set Programming

Operational Air Traffic Flow and Capacity Management (ATFCM) balances flight demand with available sector capacity, to ensure safe and efficient operations. Mathematical models enhance operational ATFCM performance by framing demand-capacity balancing as an optimization problem, maximizing efficiency while adhering to safety constraints.

arXiv AI
Aug 11

ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management

arXiv:2608. 09315v1 Announce Type: new Abstract: While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Management (ATFM) from Dynamic Airspace Configuration (DAC).

By Alexander Beiser, Markus Hecher, Nysret Musliu, Georg Trausmuth, Stefan Woltran
arXiv AI
Jul 24

Declarative Problem Solving in UAM Strategic Deconfliction

arXiv:2607. 21197v1 Announce Type: cross Abstract: The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions.

By 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,CILA, University of Bari Aldo Moro, Bari, Italy)
arXiv AI
Jul 24

Streamliners for Answer Set Programming

arXiv:2604. 19251v2 Announce Type: replace-cross Abstract: Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space.

By Florentina Voboril (TU Wien), Martin Gebser (University of Klagenfurt), Stefan Szeider (TU Wien), Alice Tarzariol (University of Klagenfurt)
arXiv Machine Learning
Sep 17

The Operable Pareto Front: Distilling Offline Search into Run-Time Control for Multi-Objective UAV Edge-Computing Scheduling

The paper introduces PrefDT, a preference-conditioned Decision Transformer designed for multi‑objective scheduling of UAV mobile edge computing fleets. PrefDT accepts a desired energy‑delay trade‑off as input, enabling a single offline‑trained model to generate any point on the Pareto front during runtime. The authors employ attention pooling with a per‑user bypass to maintain scheduler operation when user reports are lost, and a distillation pipeline to create a preference‑labeled flight corpus, achieving superior trade‑off curves and tight energy budget adherence in simulations.

By Qiao Liao, Zhiyong Feng, Bin Wu, Guodong Fan