18 citations · 18 across the 1 of their papers we have counts for
1 paper
Yuanfei Lin, Haoxuan Li, Matthias Althoff
The robustness of signal temporal logic not only assesses whether a signal adheres to a specification but also provides a measure of how much a formula is fulfilled or violated. Th…