activity
20242026
most citedLearning Biomolecular Models using Signal Temporal Logic

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

Hanna Krasowski, Elizabeth Dietrich, Emir Cem Gezer +3

Signal Temporal Logic (STL) is an expressive language for specifying behaviors of dynamical systems from continuous signals. However, a limitation of standard STL is its inherently…