A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

Vince Kurtz, Hai Lin

The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer C…