Why Not? Solver-Grounded Certificates for Explainable Mission Planning

Researchers developed a new method for explaining satellite mission planning decisions using solver-grounded certificates that directly derive explanations from optimization models. The approach achieves perfect accuracy in explaining why scheduling requests are accepted or rejected, outperforming traditional post-hoc explanation methods that produce non-causal attributions 29% of the time.