4 citations · 4 across the 3 of their papers we have counts for
3 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…
math.OC2024★ 4 cited
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
Ege C. Kaya, Michael Hibbard, Takashi Tanaka +2
We study a pair of budget- and performance-constrained weak-submodular maximization problems. For computational efficiency, we explore the use of stochastic greedy algorithms which…