Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova. Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. In 18th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019. pages 2042-2049, IEEE, 2019. [doi]
Abstract is missing.