research
∙
04/14/2023
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
This paper introduces a sampling-based strategy synthesis algorithm for ...
share
research
∙
10/18/2022
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
This paper presents a new multi-layered algorithm for motion planning un...
research
∙
10/13/2022
Chance-Constrained Motion Planning with Event-Triggered Estimation
We consider the problem of autonomous navigation using limited informati...
research
∙
10/10/2022
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
In this work, we present a novel robustness measure for continuous-time ...
research
∙
07/08/2022
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
This paper presents an algorithmic framework for control synthesis of co...
research
∙
02/24/2022
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning
In this paper, we address the problem of sampling-based motion planning ...
research
∙
12/02/2019