☕️Qi Heng Ho
PhD Candidate
University of Colorado Boulder
I am a PhD Candidate in aerospace engineering sciences at the University of Colorado Boulder. I am advised by Morteza Lahijanian and Zachary Sunberg. My research interests lie at the intersection of formal methods and planning under uncertainty. My goal is to enable safety-critical autonomous partially observable cyber-physical systems under uncertainty to complete complex temporal tasks while providing explicit guarantees on their safety and operational properties.
Interests
- Planning Under Uncertainty
- Formal Methods
- POMDPs
- (Hybrid) Systems and Control
- Robotics
Education
PhD in Aerospace Engineering Sciences (Autonomous Systems)
University of Colorado Boulder
M.S. in Aerospace Engineering Sciences (Autonomous Systems)
University of Colorado Boulder
B.Eng in Mechanical Engineering
National University of Singapore
Education
PhD in Aerospace Engineering Sciences (Autonomous Systems)
University of Colorado BoulderM.S. in Aerospace Engineering Sciences (Autonomous Systems)
University of Colorado BoulderB.Eng in Mechanical Engineering
National University of Singapore
Publications
(2025).
Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner.
Robotics and Automation Letters (RA-L).
(2024).
Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems.
IROS.
(2024).
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives.
Uncertainty in Artificial Intelligence.
(2024).
Recursively-Constrained Partially Observable Markov Decision Processes.
Uncertainty in Artificial Intelligence (Oral).
(2024).
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems.
Robotics and Automation Letters (RA-L).