18 citations · 25 across the 13 of their papers we have counts for
1 paper · 1 filter
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…