Anytime Proximity Moving Horizon Estimation: Stability and Regret for Nonlinear Systems | IEEE Conference Publication | IEEE Xplore