5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022
PSL is Dead. Long Live PSL
Kevin Smith, Hai Lin, Praveen Tiwari +2
Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by…
cs.LG2021★ 5 cited
Real-time Drift Detection on Time-series Data
Nandini Ramanan, Rasool Tahmasbi, Marjorie Sayer +3
Practical machine learning applications involving time series data, such as firewall log analysis to proactively detect anomalous behavior, are concerned with real time analysis of…