Dynamic optimal control of Multiple Depot Vehicle Routing Problem with Metric Temporal Logic | IEEE Conference Publication | IEEE Xplore