Dynamic Coverage Path Planning for Mobile Robots: A Spanning Tree Based Approach with Real-Time Obstacle Avoidance | IEEE Conference Publication | IEEE Xplore