Projects

Recursively-Constrained POMDPs

Oct 2, 2023

Temporal logic motion planning under motion and measurement uncertainty uncertainty

Sep 17, 2023

Sampling-based Gaussian Belief Trees for Chance Constrained Motion Planning under uncertainty

Sampling-based Motion Planning Tree Search for Gaussian POMDPs

Sep 17, 2023

Automaton-Guided Trajectory Synthesis for Signal Temporal Logic

Signal Temporal Logic

Sep 17, 2023