Characterizing LTL Formulas by Examples (full version)

Balder ten Cate, Dana Fisman, Roi Ohayon +1

We investigate the extent to which Linear Temporal Logic (LTL) formulas can be uniquely characterized by a finite set of labeled examples. We consider different types of examples,…