The Arithmetic Geometric Mean (AGM) is an average-based robustness that modifies all STL operators at all time instances [1]}.
This definition captures how fast the signal \(x \in [-1,1]\)  satisfies the specification by computing arithmetic and geometric means.
This normalizing approach can be useful when the signals are of different units.
However, AGM does not guarantee convergence with gradient-based optimization techniques [2]}.
