Functional gradient descent method for Metric Temporal Logic specifications | IEEE Conference Publication | IEEE Xplore