Motion Planning

Temporal logic motion planning under motion and measurement uncertainty uncertainty
Sampling-based Gaussian Belief Trees for Chance Constrained Motion Planning under uncertainty
Sampling-based Motion Planning Tree Search for Gaussian POMDPs
Automaton-Guided Trajectory Synthesis for Signal Temporal Logic
Signal Temporal Logic