TY  - RPRT
TI  - Verifiable Mission Planning For Space Operations
AU  - Quentin Rommel
AU  - Michael Hibbard
AU  - Pavan Shukla
AU  - Himanshu Save
AU  - Srinivas Bettadpur
AU  - Ufuk Topcu
PY  - 2025
UR  - https://arxiv.org/abs/2504.11631
ID  - 2504.11631
ER  -