Abstract: 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 Convex ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback