18 citations · 18 across the 1 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…