Characterizing LTL Formulas by Examples.

Balder ten Cate, Dana Fisman, Roi Ohayon, Patrik Sestic

Browse the full MFCS paper archive.