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

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

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

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

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

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

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

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

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

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

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

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

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

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