2 papers
eess.SY2025
Verifiable Mission Planning For Space Operations
Quentin Rommel, Michael Hibbard, Pavan Shukla +3
Spacecraft must operate under environmental and actuator uncertainties while meeting strict safety requirements. Traditional approaches rely on scenario-based heuristics that fail…
cs.CR2025
Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis
Jihoon Suh, Michael Hibbard, Kaoru Teranishi +3
The computation of collision probability () is crucial for space environmentalism and sustainability by providing decision-making knowledge that can prevent collisio…