A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Yann Gilpin, Vince Kurtz, Hai Lin

Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to natural…