Qi Heng Ho

Qi Heng Ho

PhD Candidate

University of Colorado Boulder

ARIA Systems Lab

Autonomous Decision and Control Lab

Biography

I am a PhD Student 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), 2023

    University of Colorado Boulder

  • B.Eng in Mechanical Engineering, 2019

    National University of Singapore

Experience

 
 
 
 
 
Graduate Research Assistant
University of Colorado Boulder
August 2020 – Present
 
 
 
 
 
Research Engineer (Autonomous Vehicles)
June 2018 – August 2020 Singapore

Publications

(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.

DOI

(2024). Recursively-Constrained Partially Observable Markov Decision Processes. Uncertainty in Artificial Intelligence (Oral).

DOI

(2024). Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. Robotics and Automation Letters (RA-L).