TY  - RPRT
TI  - Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic
AU  - Shirantha Welikala
AU  - Hai Lin
AU  - Panos J. Antsaklis
PY  - 2023
UR  - https://arxiv.org/abs/2305.09116
ID  - 2305.09116
ER  -