activity
20202026
most citedModel-based Reinforcement Learning from Signal Temporal Logic Specifications

14 citations · 32 across the 18 of their papers we have counts for

collaborators
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…