Leveraging Gated Recurrent Units for Iterative Online Precise Attitude Control for Geodetic Missions. - Vrushabh Zinage; Shrenik Zinage; Srinivas Bettadpur; Efstathios Bakolas (CoRR, 2024)

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