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.- Sort by
- Weight
- Alphabetically
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 paper › Conference paper › peer-review
32
Citations
(Scopus)