Why Not? Solver-Grounded Certificates for Explainable Mission Planning

Najeeb Khan

Operators of Earth observation satellites need justifications for scheduling decisions: why a request was selected, rejected, or what changes would make it schedulable. Existing ap…