Mohammad Atif Faiz Afzal

Quantitative Learning of LTL from Finite Traces

2021 · arXiv (Cornell University)

In this paper, we present a novel method for learning LTL properties from a set of traces. The main novelty of our method, as compared to many existing ones, is that we learn formulae in …