Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation
Rim Zrelli, H. Misson, M. Attia et al.
· Journal of Systems and Softw... · 1 citation
We have 1 of 14 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.