Angelo Montanari
7 papers
· 2016–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(14)
π
Academic Marathon
(8)
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
β
The Questioner
π
Trend Setter
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
formal verification
(2)
computational complexity
(2)
linear temporal logic
(2)
semantic parsing
(1)
semantic analysis
(1)
automated reasoning
(1)
machine learning
(1)
complexity analysis
(1)
first-order logic
(1)
natural language
(1)
temporal logic
(1)
real-time system
(1)
runtime verification
(1)
deterministic finite automaton
(1)
genetic programming
(1)
action planning
(1)
runtime monitoring
(1)
signal temporal logic
(1)
dense time
(1)
discrete time
(1)