Verified Path Following Using Neural Control Lyapunov Functions. - Alec Reed; Guillaume O. Berger; Sriram Sankaranarayanan 001; Christoffer Heckman (CoRL, 2022)

Looking Around Corners: Generative Methods in Terrain Extension. - Alec Reed; Christoffer Heckman (CoRR, 2023)

SceneSense: Diffusion Models for 3D Occupancy Synthesis from Partial Observation. - Alec Reed; Brendan Crowe; Doncey Albin; Lorin Achey; Bradley Hayes; Christoffer Heckman (IROS, 2024)

Online Diffusion-Based 3D Occupancy Prediction at the Frontier with Probabilistic Map Reconciliation. - Alec Reed; Lorin Achey; Brendan Crowe; Bradley Hayes; Christoffer Heckman (CoRR, 2024)

Robust Robotic Exploration and Mapping Using Generative Occupancy Map Synthesis. - Lorin Achey; Alec Reed; Brendan Crowe; Bradley Hayes; Christoffer Heckman (CoRR, 2025)