Verifiable Mission Planning For Space Operations. - Quentin Rommel; Michael Hibbard; Pavan Shukla; Himanshu Save; Srinivas Bettadpur; Ufuk Topcu (CoRR, 2025)