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

Bastien Maubert (7) Sasha Rubin (7) Francesco Belardinelli (5) Alessio Lomuscio (4) Munyque Mittelmann (4) Giuseppe Perelli (3) Laurent Perrussel (3) Vadim Malvone (3) Wojciech Jamroga (3) Benjamin Aminof (2)

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