Integrated Task Scheduling, Action Planning and Control for Autonomous Disinfection by a Mobile Robotic Manipulator | IEEE Conference Publication | IEEE Xplore