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…