Velocity estimation using EKF for caster odometers — Numerical verification | IEEE Conference Publication | IEEE Xplore