5 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde
We study the problem of learning linear temporal logic (LTL) formulas from examples, as a first step towards expressing a property separating positive and negative instances in a w…