1

Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems

Nov 13, 2024

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives

Nov 6, 2024

Recursively-Constrained Partially Observable Markov Decision Processes

Nov 6, 2024

Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides

Sep 23, 2023

Stochastic robustness interval for motion planning with signal temporal logic

May 15, 2023

Chance-Constrained Motion Planning with Event-Triggered Estimation

May 15, 2023

Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty

May 9, 2023

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

Dec 10, 2022

Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning

May 23, 2022

Autonomous Navigation in Dynamic Environments with Multi-Modal Perception Uncertainties

May 30, 2021