5 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Nathanaël Fijalkow, Guillaume Lagarde
In this paper we initiate the study of the computational complexity of learning linear temporal logic (LTL) formulas from examples. We construct approximation algorithms for fragme…