Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models
Release time:2025-08-14 Hits:
DOI number:10.1109/QRS-C65679.2025.00059
Journal:Proceedings of QRS-C 2025
Indexed by:Essay collection
Page Number:416-425
Translation or Not:no
Links to published journals:https://ieeexplore.ieee.org/document/11216536?denied=
Co-author:Zhibin Yang,Yong Zhou,Shuyi Yang,Ai Liu
Date of Publication:2025-10-31