Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions

Andrea Brunello

Angelo Montanari

Mark Reynolds