Learning Linear Temporal Properties

Daniel Neider, Ivan Gavran

We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiabi…