1: \begin{abstract}

2:     This paper introduces a generalized mean-based $\mathcal{C}^1$-smooth robustness measure over discrete-time signals (D-GMSR) for signal temporal logic (STL) specifications.

3:     In conjunction with its $\mathcal{C}^1$-smoothness, D-GMSR is proven to be both {\em sound and complete}.

4:     Furthermore, it demonstrates favorable gradient properties and addresses {\em locality and masking} problems, which are critical for numerical optimization.

5:     The $\mathcal{C}^1$-smoothness of the proposed formulations enables the implementation of robust and efficient numerical optimization algorithms to solve problems with STL specifications while preserving their theoretical guarantees.

6:     The practical utility of the proposed robustness measure is demonstrated on two real-world trajectory optimization problems: i) quadrotor flight, and ii) autonomous rocket landing.

7:     A sequential convex programming (SCP) framework, incorporating a convergence-guaranteed optimization algorithm (the prox-linear method) is used to solve inherently non-convex trajectory optimization problems with STL specifications.

8:     The implementation is available at \url{https://github.com/UW-ACL/D-GMSR}

9:     \vspace{-0.3cm}

10: \end{abstract}

11: