Mixed-Integer Moving Horizon Estimation for Terrain-Aided Navigation Using Hybrid Zonotopes. - Andrew F. Thompson; Joshua A. Robbins; Matthew E. Boler; Herschel C. Pangborn (PLANS, 2025)