Publications

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