Alan Papalia

activity

20202026

most citedCertifiably Correct Range-Aided SLAM

15 citations · 20 across the 10 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.RO2026

Characterizing Refraction-Induced Ranging Bias in Underwater Collaborative Localization

Timothy Kogucki, Alan Papalia

This work studies how refraction-induced bias on acoustic ranging affects multi-agent collaborative localization in a range of oceanographic conditions and spatial scales. While mu…

cs.LG2026

$(DNN)^{2}$ : 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…

Characterizing Refraction-Induced Ranging Bias in Underwater Collaborative Localization

(DNN)2: Doubly Non-Negative Relaxations for Deep Neural Networks

$(DNN)^{2}$ : Doubly Non-Negative Relaxations for Deep Neural Networks