Multi-Robot Planning on Dynamic Topological Graphs Using Mixed- Integer Programming | IEEE Conference Publication | IEEE Xplore