Synthesis of LTL formulas from natural language texts: State of the art and research directions

Andrea Brunello, Angelo Montanari, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paperpeer-review

34 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Synthesis of LTL formulas from natural language texts: State of the art and research directions'. Together they form a unique fingerprint.

Computer Science