1 citations · 1 across the 9 of their papers we have counts for
1 paper · 2 filters
Zhenya Zhang, Parv Kapoor, Jie An +1
Signal Temporal Logic (STL) has been widely adopted as a specification language for specifying desirable behaviors of hybrid systems. One of the most common uses of STL is falsific…