3 citations · 4 across the 15 of their papers we have counts for
5 papers · 1 filter
REVISE: Robust Probabilistic Motion Planning in a Gaussian Random Field
Alex Rose, Naman Aggarwal, Christopher Jewison +1
This paper presents Robust samplE-based coVarIance StEering (REVISE), a multi-query algorithm that generates robust belief roadmaps for dynamic systems navigating through spatially…
An Overview of the Burer-Monteiro Method for Certifiable Robot Perception
Alan Papalia, Yulun Tian, David M. Rosen +2
This paper presents an overview of the Burer-Monteiro method (BM), a technique that has been applied to solve robot perception problems to certifiable optimality in real-time. BM i…
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
Nicholas Rober, Jonathan P. How
Neural networks (NNs) are becoming increasingly popular in the design of control pipelines for autonomous systems. However, since the performance of NNs can degrade in the presence…
SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
Naman Aggarwal, Jonathan P. How
The paper presents Maximal Ellipsoid Backward Reachable Trees MAXELLIPSOID BRT, which is a multi-query algorithm for planning of dynamic systems under stochastic motion uncertainty…
SDP Synthesis of Maximum Coverage Trees for Probabilistic Planning under Control Constraints
Naman Aggarwal, Jonathan P. How
The paper presents Maximal Covariance Backward Reachable Trees (MAXCOVAR BRT), which is a multi-query algorithm for planning of dynamic systems under stochastic motion uncertainty…