Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore