Luca Geatti
7 papers · 2022–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (12) 🔥 Unstoppable · Bronze ❓ The Questioner
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Computer Science
(3)
Knowledge & Reasoning
(3)
Machine Learning
(3)
Optimization & Theory
(3)
Reasoning
(3)
Artificial Intelligence
(2)
Core AI
(2)
Foundations
(2)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Applications · Computer Science
(1)
Applications · Natural Language Processing
(1)
Generation
(1)
Mathematics
(1)
Understanding
(1)
Keywords
formal verification
(4)
temporal logic
(3)
linear temporal logic
(3)
first-order logic
(2)
computational complexity
(1)
machine learning
(1)
complexity analysis
(1)
natural language
(1)
model checking
(1)
runtime verification
(1)
automata theory
(1)
symbolic algorithm
(1)
finite trace
(1)
deterministic finite automaton
(1)
reactive synthesis
(1)
genetic programming
(1)
controller synthesis
(1)
regular language
(1)
runtime monitoring
(1)
symbolic model
(1)
Papers
Automata-less Monitoring via Trace-Checking
AAAI 2026
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy
AAAI 2026
First-Order Automata
AAAI 2025
Foundations of Reactive Synthesis for Declarative Process Specifications
AAAI 2024
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring
IJCAI 2024
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
Linear Temporal Logic Modulo Theories over Finite Traces
IJCAI 2022