We gratefully acknowledge support from
the Simons Foundation and member institutions.

Shirantha Welikala is qualified to endorse.

Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

Shirantha Welikala: Is registered as an author of this paper.
Can endorse for cs.MA, cs.SY, eess.SY, math.CO, math.OC. (why?)

Hai Lin and Panos J. Antsaklis are not registered as owners of this paper. (why?)