Perelli, Giuseppe

10 publications

IJCAI 2025 Synthesising Minimum Cost Dynamic Norms Natasha Alechina, Brian Logan, Giuseppe Perelli

IJCAI 2024 Endogenous Energy Reactive Modules Games: Modelling Side Payments Among Resource-Bounded Agents Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

AAAI 2024 Pure-past Action Masking Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

IJCAI 2021 HyperLDLf: A Logic for Checking Properties of Finite Traces Process Logs Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

IJCAI 2019 On Computational Tractability for Rational Verification Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

IJCAI 2019 Reasoning About Quality and Fuzziness of Strategic Behaviours Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

IJCAI 2018 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game Shaull Almagor, Orna Kupferman, Giuseppe Perelli

IJCAI 2017 Nash Equilibria in Concurrent Games with Lexicographic Preferences Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge

AAAI 2016 Rational Verification: From Model Checking to Equilibrium Checking Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi

IJCAI 2015 Pushdown Multi-Agent System Verification Aniello Murano, Giuseppe Perelli