Sayan Saha, A. Agung Julius. An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. In 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016. pages 1105-1110, IEEE, 2016. [doi]
Abstract is missing.