Gravar-mail: Stochastic modeling of a time of flight sensor to be applied in a mobile robotics application