TY  - RPRT
TI  - Why Not? Solver-Grounded Certificates for Explainable Mission Planning
AU  - Najeeb Khan
PY  - 2026
UR  - https://arxiv.org/abs/2603.00469
ID  - 2603.00469
ER  -