Your Name
  • Bio
  • Publications
  • CV
  • Projects
    • Recursively-Constrained POMDPs
    • Temporal logic motion planning under motion and measurement uncertainty uncertainty
    • Sampling-based Gaussian Belief Trees for Chance Constrained Motion Planning under uncertainty
    • Automaton-Guided Trajectory Synthesis for Signal Temporal Logic
  • Posts
  • Publications
    • Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner
    • Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
    • Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
    • Recursively-Constrained Partially Observable Markov Decision Processes
    • Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
    • Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
    • Stochastic robustness interval for motion planning with signal temporal logic
    • Chance-Constrained Motion Planning with Event-Triggered Estimation
    • Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
    • Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
    • Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning
    • Autonomous Navigation in Dynamic Environments with Multi-Modal Perception Uncertainties
    • Interactive planning for autonomous urban driving in adversarial scenarios
    • Context and intention aware planning for urban driving
    • Context-aware intention and trajectory prediction for urban driving environment
  • Recent & Upcoming Talks

Temporal logic motion planning under motion and measurement uncertainty uncertainty

Sep 17, 2023 · 0 min read
Last updated on Oct 2, 2023
Motion Planning Temporal Logic
Qi Heng Ho
Authors
Qi Heng Ho
PhD Candidate
← Recursively-Constrained POMDPs Oct 2, 2023
Sampling-based Gaussian Belief Trees for Chance Constrained Motion Planning under uncertainty Sep 17, 2023 →

© 2025 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.