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

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

Dec 10, 2022·
Qi Heng Ho
,
Roland Ilyes
,
Zachary Sunberg
,
Morteza Lahijanian
· 0 min read
DOI
Type
1
Publication
IEEE 61st Conference on Decision and Control
Last updated on Nov 13, 2024
← Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty May 9, 2023
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning May 23, 2022 →

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