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
1 paper indexed here
Fetches their full publication history.
Not the right person? Other researchers publish under this name.