Marco Montali
17 papers
· 2013–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(19)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(3)
π
Academic Marathon
(12)
π
Renaissance Researcher
(5)
π
Century Club
(17)
ποΈ
Keyword Collector
(57)
π
Conference Pioneer
π₯
Unstoppable
(6)
Conferences
AAAI (8)
IJCAI (8)
IJCNLP (1)
Top co-authors
Keywords
temporal logic
(6)
model checking
(6)
formal verification
(4)
finite trace
(4)
safety verification
(3)
process mining
(2)
satisfiability modulo theories
(2)
linear temporal logic
(2)
relational database
(1)
genetic algorithm
(1)
first-order logic
(1)
smt solving
(1)
satisfiability modulo theory
(1)
description logic
(1)
probabilistic logic
(1)
linear arithmetic
(1)
counterfactual explanation
(1)
symbolic algorithm
(1)
automata theory
(1)
explainable ai
(1)