Next, when calculating the likelihood using an LRF
measurement model, this model should be designed so that the
likelihood of state vector xt becomes greatest when the
ambient distance data zt measured using the LRF coincides
with the 3D point cloud data of environments measured in
advance. We define the measurement probabilistic model
p(zt|xt) with the LRF by approximate expressions such as Eq.
(10):