Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Counterexample Classification for Signal Temporal Logic Specifications
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…
cs.SE2024
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik +4
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…