2 papers
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.AI2021
Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias
Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia +4
Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major probl…