Text this: A Fruit Fly-Optimized Kalman Filter Algorithm for Pushing Distance Estimation of a Hydraulic Powered Roof Support through Tuning Covariance