Giuseppe Perelli

9 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (6) 🌈 Renaissance Researcher (7) 🗺️ Taxonomy Completionist (14)

Conferences

IJCAI (8) AAAI (1)

Top co-authors

Aniello Murano (3) Michael Wooldridge (3) Julian Gutierrez (3) Brian Logan (2) Orna Kupferman (2) Giuseppe De Giacomo (2) Natasha Alechina (2) Muhammad Najib (2) Nicolas Markey (1) Sasha Rubin (1)

Keywords

temporal logic (4) model checking (3) multi-agent system (3) nash equilibrium (2) action masking (1) quantitative reasoning (1) cost optimization (1) concurrent game (1) lexicographic preference (1) finite-memory strategy (1) buchi objective (1) mean-payoff function (1) finite trace (1) strategy logic (1) fuzzy temporal logic (1) process mining (1) business process management (1) pure-past linear temporal logic (1) norm synthesis (1) side payment (1)

Papers

Synthesising Minimum Cost Dynamic Norms IJCAI 2025

Pure-Past Action Masking AAAI 2024

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

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

On Computational Tractability for Rational Verification IJCAI 2019

Reasoning about Quality and Fuzziness of Strategic Behaviours IJCAI 2019

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game IJCAI 2018

Nash Equilibria in Concurrent Games with Lexicographic Preferences IJCAI 2017

Pushdown Multi-Agent System Verification IJCAI 2015