Characterizing LTL Formulas by Examples. - Balder ten Cate; Dana Fisman; Roi Ohayon; Patrik Sestic (CoRR, 2026)