13 citations · 34 across the 10 of their papers we have counts for
3 papers · 1 filter
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy +2
We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing appr…
Property-Directed Verification of Recurrent Neural Networks
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy +6
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a g…
Learning Interpretable Models in the Property Specification Language
Rajarshi Roy, Dana Fisman, Daniel Neider
We address the problem of learning human-interpretable descriptions of a complex system from a finite set of positive and negative examples of its behavior. In contrast to most of…