5 papers
: Doubly Non-Negative Relaxations for Deep Neural Networks
Hanna Jiamei Zhang, Alan Papalia, Michael Everett +1
Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-conservative safety guarantee…
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…
Distributed Certifiably Correct Range-Aided SLAM
Alexander Thoms, Alan Papalia, Jared Velasquez +2
Reliable simultaneous localization and mapping (SLAM) algorithms are necessary for safety-critical autonomous navigation. In the communication-constrained multi-agent setting, navi…
Certifiably Correct Range-Aided SLAM
Alan Papalia, Andrew Fishberg, Brendan W. O'Neill +3
We present the first algorithm to efficiently compute certifiably optimal solutions to range-aided simultaneous localization and mapping (RA-SLAM) problems. Robotic navigation syst…
MAC: Graph Sparsification by Maximizing Algebraic Connectivity
Kevin Doherty, Alan Papalia, Yewei Huang +3
Simultaneous localization and mapping (SLAM) is a critical capability in autonomous navigation, but memory and computational limits make long-term application of common SLAM techni…