Proceedings

Aniello Murano

Università degli Studi di Napoli "Federico II" , Italy

15 papers in the IJCAI proceedings

IJCAI 2025

First-Order Coalition Logic
with Davide Catta, Rustam Galimullin
doi:10.24963/ijcai.2025/491
Details PDF
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
with Wojciech Jamroga, Michał Tomasz Godziszewski
doi:10.24963/ijcai.2025/15
Details PDF

IJCAI 2023

Discounting in Strategy Logic
with Munyque Mittelmann, Laurent Perrussel
doi:10.24963/ijcai.2023/26
Details PDF
Scalable Verification of Strategy Logic through Three-Valued Abstraction
with Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone
doi:10.24963/ijcai.2023/6
Details PDF

IJCAI 2022

Automated Synthesis of Mechanisms
with Munyque Mittelmann, Bastien Maubert, Laurent Perrussel
doi:10.24963/ijcai.2022/61
Details PDF

IJCAI 2021

Reasoning About Agents That May Know Other Agents’ Strategies
with Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Sasha Rubin
doi:10.24963/ijcai.2021/246
Details PDF

IJCAI 2020

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
with Nathanaël Fijalkow, Bastien Maubert, Moshe Vardi
doi:10.24963/ijcai.2020/17
Details PDF
Synthesizing strategies under expected and exceptional environment behaviors
with Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Sasha Rubin
doi:10.24963/ijcai.2020/232
Details PDF

IJCAI 2019

Probabilistic Strategy Logic
with Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Sasha Rubin
doi:10.24963/ijcai.2019/5
Details PDF
Reasoning about Quality and Fuzziness of Strategic Behaviours
with Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Giuseppe Perelli
doi:10.24963/ijcai.2019/220
Details PDF
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
with Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
doi:10.24963/ijcai.2019/13
Details PDF
The Complexity of Model Checking Knowledge and Time
with Laura Bozzelli, Bastien Maubert
doi:10.24963/ijcai.2019/221
Details PDF

IJCAI 2018

Alternating-time Temporal Logic on Finite Traces
with Francesco Belardinelli, Alessio Lomuscio, Sasha Rubin
doi:10.24963/ijcai.2018/11
Details PDF

IJCAI 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences
with Julian Gutierrez, Giuseppe Perelli, Sasha Rubin, Michael Wooldridge
doi:10.24963/ijcai.2017/148
Details PDF
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
with Francesco Belardinelli, Alessio Lomuscio, Sasha Rubin
doi:10.24963/ijcai.2017/14
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards