Francesco Belardinelli
24 papers
· 2013–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(12)
π
Cross-Pollinator
(13)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(22)
π
Grand Slam
π
Conference Pioneer
π₯
Unstoppable
(11)
π
Century Club
(22)
β‘
Prolific Year
(5)
ποΈ
Keyword Collector
(66)
Conferences
IJCAI (13)
AAAI (7)
NIPS (2)
ICLR (1)
ICML (1)
Top co-authors
Keywords
model checking
(10)
game theory
(7)
multi-agent system
(7)
formal verification
(5)
multi-agent learning
(3)
imperfect information
(2)
convergence analysis
(2)
temporal logic
(2)
causal inference
(2)
epistemic logic
(2)
markov decision process
(2)
alternating-time temporal logic
(2)
strategic reasoning
(2)
strategy logic
(2)
network game
(2)
first-order logic
(2)
variance reduction
(1)
equilibrium convergence
(1)
program verification
(1)
maximum entropy
(1)