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

Optimal Satellite Maneuvers for Spaceborne Jamming Attacks. - Filippos Fotiadis; Quentin Rommel; Brian M. Sadler; Ufuk Topcu (CoRR, 2025)