Learning Linear Temporal Properties.

Daniel Neider, Ivan Gavran

Browse the full FMCAD paper archive.