Randomized greedy methods for weak submodular sensor selection with robustness considerations. - Kaya, Ege C.; Hibbard, Michael; Tanaka, Takashi; Topcu, Ufuk; Hashemi, Abolfazl (Autom., 2025)

Encrypted Computation of Collision Probability for Secure Satellite Conjunction Analysis. - Suh, Jihoon; Hibbard, Michael; Teranishi, Kaoru; Tanaka, Takashi; Jah, Moriba; Akella, Maruthi (CoRR, 2025)

On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints. - Savas, Yagiz; Verginis, Christos K.; Hibbard, Michael; Topcu, Ufuk (IEEE Trans. Autom. Control., 2024)

Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations. - Kaya, Ege C.; Hibbard, Michael; Tanaka, Takashi; Topcu, Ufuk; Hashemi, Abolfazl (CoRR, 2024)

Simultaneous perception-action design via invariant finite belief sets. - Hibbard, Michael; Tanaka, Takashi; Topcu, Ufuk (Autom., 2023)

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. - Hibbard, Michael; Vinod, Abraham P.; Quattrociocchi, Jesse; Topcu, Ufuk (IEEE Trans. Robotics, 2023)

Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations. - Hibbard, Michael; Hashemi, Abolfazl; Tanaka, Takashi; Topcu, Ufuk (2023)

Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. - Dunlap, Kyle; Hibbard, Michael; Mote, Mark; Hobbs, Kerianne (IEEE Control. Syst. Lett., 2022)

Entropy Maximization for Partially Observable Markov Decision Processes. - Savas, Yagiz; Hibbard, Michael; Wu, Bo; Tanaka, Takashi; Topcu, Ufuk (IEEE Trans. Autom. Control., 2022)

Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics*. - Hibbard, Michael; Topcu, Ufuk; Hobbs, Kerianne (2022)

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. - Hibbard, Michael; Vinod, Abraham P.; Quattrociocchi, Jesse; Topcu, Ufuk (CoRR, 2022)

Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes. - Hibbard, Michael; Tuggle, Kirsten; Tanaka, Takashi (IEEE Control. Syst. Lett., 2021)

Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes. - Hibbard, Michael; Tuggle, Kirsten; Tanaka, Takashi (2021)

Simultaneous Perception-Action Design via Invariant Finite Belief Sets. - Hibbard, Michael; Tanaka, Takashi; Topcu, Ufuk (CoRR, 2021)

Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. - Dunlap, Kyle; Hibbard, Michael; Mote, Mark; Hobbs, Kerianne (CoRR, 2021)

Path Integral Control for Stochastic Dynamic Traffic Routing Problems. - Hibbard, Michael; Wasa, Yasuaki; Tanaka, Takashi (2020)

Point-Based Value Iteration and Approximately Optimal Dynamic Sensor Selection for Linear-Gaussian Processes. - Hibbard, Michael; Tuggle, Kirsten; Tanaka, Takashi (CoRR, 2020)

Unpredictable Planning Under Partial Observability. - Hibbard, Michael; Savas, Yagiz; Wu, Bo; Tanaka, Takashi; Topcu, Ufuk (2019)

Minimizing the Information Leakage Regarding High-Level Task Specifications. - Hibbard, Michael; Savas, Yagiz; Xu, Zhe; Topcu, Ufuk (CoRR, 2019)