Aniello Murano
20 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π
Interdisciplinary Bridge
π£
Hot Topic Early Bird
π
Cross-Pollinator
(6)
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π§
Keyword Pioneer
π
Keyword Champion
(2)
π¬
Deep Specialist
(11)
ποΈ
Keyword Collector
(52)
π
Century Club
(19)
π₯
Unstoppable
(11)
Conferences
IJCAI (17)
AAAI (3)
Top co-authors
Keywords
model checking
(13)
game theory
(7)
multi-agent system
(6)
strategy logic
(5)
strategic reasoning
(5)
formal verification
(3)
epistemic logic
(3)
temporal logic
(3)
probabilistic strategy logic
(2)
knowledge representation
(2)
nash equilibrium
(2)
strategy synthesis
(2)
linear temporal logic
(2)
stochastic game
(1)
stochastic system
(1)
mechanism design
(1)
shannon entropy
(1)
multi-agent planning
(1)
imperfect information
(1)
uncertainty quantification
(1)
Papers
First-Order Coalition Logic
IJCAI 2025
Discounting in Strategy Logic
IJCAI 2023
Automated Synthesis of Mechanisms
IJCAI 2022
Probabilistic Strategy Logic
IJCAI 2019
Pushdown Multi-Agent System Verification
IJCAI 2015