Aniello Murano
20 papers · 2015–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (15) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π
Keyword Champion
(5)
π§
Keyword Pioneer
π¬
Deep Specialist
(11)
ποΈ
Keyword Collector
(52)
π
Century Club Β· Bronze
π₯
Unstoppable Β· Silver
Venues
Top co-authors
Research topics
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
First-Order Coalition Logic
IJCAI 2025
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
IJCAI 2025
Natural Strategic Ability in Stochastic Multi-Agent Systems
AAAI 2024
Discounting in Strategy Logic
IJCAI 2023
Formal Verification of Bayesian Mechanisms
AAAI 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction
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
Reasoning about Quality and Fuzziness of Strategic Behaviours
IJCAI 2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
IJCAI 2019
The Complexity of Model Checking Knowledge and Time
IJCAI 2019
Alternating-time Temporal Logic on Finite Traces
IJCAI 2018
Nash Equilibria in Concurrent Games with Lexicographic Preferences
IJCAI 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
IJCAI 2017
Imperfect-Information Games and Generalized Planning
IJCAI 2016
Pushdown Multi-Agent System Verification
IJCAI 2015