2 papers
cs.LO2026
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,…
cs.FL2024
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
Dana Angluin, Dana Fisman
A characteristic sample for a language and a learning algorithm is a finite sample of words labeled by their membership in such that for any sample $T \s…