Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach

arXiv:2512.22793 · eess.SY, cs.AI, cs.GT, cs.SY · Submitted 2025-12-28 · Read on arXiv

eess.SY, cs.AI, cs.GT, cs.SY

Submitted: 2025-12-28

Updated: 2026-10-26

Terminology

• Reachability Analysis — 3× in this paper · explained in 2 episodes
• Dimensionality Reduction — 1× in this paper · explained in 2 episodes

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
• From Asymptotic to Designer-Assigned-Time Control: A Review of Stability Notions, Design Mechanisms, and Controller Architectures
• Battery Second Life: A Review of Experimental Studies
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems