Giuseppe Perelli

According to our database, Giuseppe Perelli authored at least 50 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version).

Muhammad Najib, Giuseppe Perelli

CoRR, 2024

Strategies in Spatio-Temporal Logics for Multi-agent Systems.

Paolo Bottoni, Anna Labella, Giuseppe Perelli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

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

Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Synthesis of Reward Machines for Multi-Agent Equilibrium Design.

Muhammad Najib, Giuseppe Perelli

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Playing Quantitative Games Against an Authority: On the Module Checking Problem.

Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Pure-Past Action Masking.

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

On the complexity of rational verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Ann. Math. Artif. Intell., August, 2023

Reasoning about Quality and Fuzziness of Strategic Behaviors.

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

ACM Trans. Comput. Log., 2023

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

CoRR, 2023

Behavioral QLTL.

Giuseppe De Giacomo, Giuseppe Perelli

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Optimal Alignment of Temporal Knowledge Bases.

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Strategy Repair in Reachability Games.

Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Giving Instructions in Linear Temporal Logic.

Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.

Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Expressiveness and Nash Equilibrium in Iterated Boolean Games.

Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge

ACM Trans. Comput. Log., 2021

Multi-player games with LDL goals over finite traces.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Inf. Comput., 2021

Rational verification: game-theoretic verification of multi-agent systems.

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge

Appl. Intell., 2021

Equilibria for games with combined qualitative and quantitative objectives.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge

Acta Informatica, 2021

Timed Trace Alignment with Metric Temporal Logic over Finite Traces.

Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Synthesis with Mandatory Stop Actions.

Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

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

Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Hierarchical cost-parity games.

Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino

Theor. Comput. Sci., 2020

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Artif. Intell., 2020

Reasoning About Quality and Fuzziness of Strategic Behaviours.

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Reconfigurable Interaction for MAS Modelling.

Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Nash Equilibrium and Bisimulation Invariance.

Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge

Log. Methods Comput. Sci., 2019

A Computational Framework for Adaptive Systems and its Verification.

Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman

CoRR, 2019

On Computational Tractability for Rational Verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Equilibrium Design for Concurrent Games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Enforcing Equilibria in Multi-Agent Systems.

Giuseppe Perelli

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Imperfect information in Reactive Modules games.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Inf. Comput., 2018

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.

Shaull Almagor, Orna Kupferman, Giuseppe Perelli

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

EVE: A Tool for Temporal Equilibrium Analysis.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Reasoning about Strategies: on the Satisfiability Problem.

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Log. Methods Comput. Sci., 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Iterated Games with LDL Goals over Finite Traces.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Cycle Detection in Computation Tree Logic.

Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino

Proceedings of the Seventh International Symposium on Games, 2016

Synthesis with rational environments.

Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi

Ann. Math. Artif. Intell., 2016

Checking interval properties of computations.

Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron

Acta Informatica, 2016

Solving Parity Games Using an Automata-Based Algorithm.

Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Proceedings of the Implementation and Application of Automata, 2016

Rational Verification: From Model Checking to Equilibrium Checking.

Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Multi-agent Path Planning in Known Dynamic Environments.

Aniello Murano, Giuseppe Perelli, Sasha Rubin

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Pushdown Multi-Agent System Verification.

Aniello Murano, Giuseppe Perelli

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Binding Forms in First-Order Logic.

Fabio Mogavero, Giuseppe Perelli

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Reasoning About Strategies: On the Model-Checking Problem.

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

ACM Trans. Comput. Log., 2014

On the Remarkable Features of Binding Forms.

Fabio Mogavero, Giuseppe Perelli

CoRR, 2014

Checking Interval Properties of Computations.

Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2012

A Decidable Fragment of Strategy Logic

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

CoRR, 2012

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012