Aniello Murano
20 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Academic Marathon (10) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π£ Hot Topic Early Bird
π
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
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
AAAI 2026
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
IJCAI 2025
First-Order Coalition Logic
IJCAI 2025
Natural Strategic Ability in Stochastic Multi-Agent Systems
AAAI 2024
Formal Verification of Bayesian Mechanisms
AAAI 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction
IJCAI 2023
Discounting in Strategy Logic
IJCAI 2023
Automated Synthesis of Mechanisms
IJCAI 2022
Reasoning About Agents That May Know Other Agentsβ Strategies
IJCAI 2021
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
IJCAI 2020
Synthesizing strategies under expected and exceptional environment behaviors
IJCAI 2020
Probabilistic Strategy Logic
IJCAI 2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
IJCAI 2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
IJCAI 2019
The Complexity of Model Checking Knowledge and Time
IJCAI 2019
Alternating-time Temporal Logic on Finite Traces
IJCAI 2018
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
IJCAI 2017
Nash Equilibria in Concurrent Games with Lexicographic Preferences
IJCAI 2017
Imperfect-Information Games and Generalized Planning
IJCAI 2016
Pushdown Multi-Agent System Verification
IJCAI 2015