Cover Image

Why Not? Solver-Grounded Certificates for Explainable Mission Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Khan, Najeeb
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Dual Certificate Approach to Sparsity in Infinite-Width Shallow Neural Networks
by: Del Grande, Leonardo, et al.
Published: (2026)

Quantum Algorithms for Drone Mission Planning
by: Davies, Ethan, et al.
Published: (2024)

Agile Tradespace Exploration for Space Rendezvous Mission Design via Transformers
by: Takubo, Yuji, et al.
Published: (2025)

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
by: Kungurtsev, Vyacheslav, et al.
Published: (2025)

Neural Solver Selection for Combinatorial Optimization
by: Gao, Chengrui, et al.
Published: (2024)

Optimal Chaining of Vehicle Plans with Time Windows
by: Fiedler, David, et al.
Published: (2024)

Towards Efficient Constraint Handling in Neural Solvers for Routing Problems
by: Bi, Jieyi, et al.
Published: (2026)

Beyond Manual Planning: Seating Allocation for Large Organizations
by: Ipsen, Anton, et al.
Published: (2026)

Hidden Convexity of Fair PCA and Fast Solver via Eigenvalue Optimization
by: Shen, Junhui, et al.
Published: (2025)

WARP: A Benchmark for Primal-Dual Warm-Starting of Interior-Point Solvers
by: Suri, Dhruv, et al.
Published: (2026)

An Efficient Learning-based Solver Comparable to Metaheuristics for the Capacitated Arc Routing Problem
by: Guo, Runze, et al.
Published: (2024)

ORLoopBench: Solver-in-the-Loop Benchmarks for Self-Correction and Behavioral Rationality in Operations Research
by: Ao, Ruicheng, et al.
Published: (2026)

Learning to Insert for Constructive Neural Vehicle Routing Solver
by: Luo, Fu, et al.
Published: (2025)

Planning a Community Approach to Diabetes Care in Low- and Middle-Income Countries Using Optimization
by: Adams, Katherine B., et al.
Published: (2023)

Large Language Model-Assisted Planning of Electric Vehicle Charging Infrastructure with Real-World Case Study
by: Zheng, Xinda, et al.
Published: (2025)

Nonlinear Control Allocation: A Learning Based Approach
by: Khan, Hafiz Zeeshan Iqbal, et al.
Published: (2022)

Leveraging High-Fidelity Digital Models and Reinforcement Learning for Mission Engineering: A Case Study of Aerial Firefighting Under Perfect Information
by: Çetinkaya, İbrahim Oğuz, et al.
Published: (2025)

Survey on Neural Routing Solvers
by: Ba, Yunpeng, et al.
Published: (2026)

Optimized Human-Robot Co-Dispatch Planning for Petro-Site Surveillance under Varying Criticalities
by: Khatim, Nur Ahmad, et al.
Published: (2026)

Benchmarking Classical Coverage Path Planning Heuristics on Irregular Hexagonal Grids for Maritime Coverage Scenarios
by: Sepúlveda, Carlos S., et al.
Published: (2026)

Exponentially E-preinvex and E-invex functions in mathematical programming
by: Abdulaleem, Najeeb
Published: (2024)

Integrated Planning in Hospitals: A Review
by: Rachuba, Sebastian, et al.
Published: (2023)

Active Inference for Energy Control and Planning in Smart Buildings and Communities
by: Nazemi, Seyyed Danial, et al.
Published: (2025)

Value of Information-based Deceptive Path Planning Under Adversarial Interventions
by: Suttle, Wesley A., et al.
Published: (2025)

Multi-Year Maintenance Planning for Large-Scale Infrastructure Systems: A Novel Network Deep Q-Learning Approach
by: Fard, Amir, et al.
Published: (2025)

Solving Integrated Process Planning and Scheduling Problem via Graph Neural Network Based Deep Reinforcement Learning
by: Li, Hongpei, et al.
Published: (2024)

AI2STOW: End-to-End Deep Reinforcement Learning to Construct Master Stowage Plans under Demand Uncertainty
by: Van Twiller, Jaike, et al.
Published: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Quantum-Assisted Space Logistics Mission Planning
by: Bahengam, Amiratabak, et al.
Published: (2025)

Column Generation for the Micro-Transit Zoning Problem
by: Hu, Hins, et al.
Published: (2026)

BONO-Bench: A Comprehensive Test Suite for Bi-objective Numerical Optimization with Traceable Pareto Sets
by: Schäpermeier, Lennart, et al.
Published: (2026)

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
by: Hou, Zhinan, et al.
Published: (2026)

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization
by: Hernández, Isidora, et al.
Published: (2026)

Cognitive Training for Language Models: Towards General Capabilities via Cross-Entropy Games
by: Hongler, Clément, et al.
Published: (2026)

Integrated packing, placement, scheduling, and routing of personalized production: a pharmaceutical Industry 4.0 use-case with a planar transport system
by: Korladinov, Viktor Emil, et al.
Published: (2026)

An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
by: Surina, Anja, et al.
Published: (2026)

Democratizing Large-Scale Re-Optimization with LLM-Guided Model Patches
by: Ye, Tinghan, et al.
Published: (2026)

Layerwise goal-oriented adaptivity for neural ODEs: an optimal control perspective
by: Hintermüller, Michael, et al.
Published: (2026)

Data-Driven Stochastic VRP: Integration of Forecast Duration into Optimization for Utility Workforce Management
by: Garbelli, Matteo
Published: (2026)

Algorithmic Prompt-Augmentation for Efficient LLM-Based Heuristic Design for A* Search
by: Bömer, Thomas, et al.
Published: (2026)