← Search

Dana Fisman

3 accepted papers

2020

Learning Interpretable Models in the Property Specification Language

IJCAI 2020poster

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 the recent work in this area, which focuses on descriptions expressed in Linear Temporal Logic (LTL), we develop a learn…