Giuseppe Perelli

7 papers in the IJCAI proceedings

IJCAI 2025

Synthesising Minimum Cost Dynamic Norms

with Natasha Alechina, Brian Logan

doi:10.24963/ijcai.2025/1

Details PDF

IJCAI 2024

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents

with Julian Gutierrez, David Hyland, Muhammad Najib, Michael Wooldridge

doi:10.24963/ijcai.2024/8

Details PDF

IJCAI 2021

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

with Giuseppe De Giacomo, Paolo Felli, Marco Montali

doi:10.24963/ijcai.2021/256

Details PDF

IJCAI 2019

On Computational Tractability for Rational Verification

with Julian Gutierrez, Muhammad Najib, Michael Wooldridge

doi:10.24963/ijcai.2019/47

Details PDF

Reasoning about Quality and Fuzziness of Strategic Behaviours

with Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano

doi:10.24963/ijcai.2019/220

Details PDF

IJCAI 2018

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game

with Shaull Almagor, Orna Kupferman

doi:10.24963/ijcai.2018/5

Details PDF

IJCAI 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences

with Julian Gutierrez, Aniello Murano, Sasha Rubin, Michael Wooldridge

doi:10.24963/ijcai.2017/148

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings