Luca Geatti
7 papers
· 2022–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(11)
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π₯
Unstoppable
(5)
β
The Questioner
Conferences
AAAI (5)
IJCAI (2)
Top co-authors
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
First-Order Automata
AAAI 2025