55 citations · 114 across the 15 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Fitting and Learning Basis-Restricted Propositional Formulas
Balder ten Cate
For a finite set of Boolean functions, we consider the class of propositional formulas built using the functions in as connectives. We determine, for each possible choice o…
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,…