Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems

GaƩtan Hains, Ouarda Fenek. Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems. In Huynh Thi Thanh Binh, Van-Thuc Hoang, Le Minh Nguyen, SyVinh Le, Thi-Dao Vu, Duy Trung Pham, editors, 15th International Conference on Knowledge and Systems Engineering, KSE 2023, Hanoi, Vietnam, October 18-20, 2023. pages 1-4, IEEE, 2023. [doi]

Abstract

Abstract is missing.