Luca Geatti
Scholar

Luca Geatti

Google Scholar ID: Bj_lzTgAAAAJ
University of Udine
Automata TheoryModel CheckingTemporal LogicsFormal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
271
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
4 items
Automata-less Monitoring via Trace-Checking (Extended Version)
2025
Cited
0
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
2025
Cited
0
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
2025
Cited
0
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI Conference on Artificial Intelligence · 2022
Cited
10
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)