../
A Systematic Literature Review on Mining LTL Specifications
- Year
- 2025
- Authors
- Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
- DOI
- 10.1109/ACCESS.2025.3551607
Related
Persistent Notes
In-text annotations
“Unfortunately, specification definition is a time-consuming and error-prone task, which requires high expertise to reason in terms of logic formulas” Page 48950
“Preferred Reporting Items for Systematic Reviews and Meta-Analyses” Page 48951
“Scopus” Page 48952
“Web of Science” Page 48952
“IEEE Xplore” Page 48952
“Google Scholar” Page 48952
“Rayyan” Page 48953
%% Import Date: 2026-05-26T10:27:18.352-04:00 %%