Author of the publication

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control.

, , and . IEEE Control. Syst. Lett., 5 (1): 241-246 (2021)