Analytical SLAM without linearization. (December 2017)