Giuseppe Perelli

Orcid: 0000-0002-8687-6323

According to our database1, Giuseppe Perelli authored at least 51 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Strategies in Spatio-Temporal Logics for Multi-agent Systems.
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.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Strategy Repair for Reachability Games (short paper).
Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Synthesis of Reward Machines for Multi-Agent Equilibrium Design.
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).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Playing Quantitative Games Against an Authority: On the Module Checking Problem.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Pure-Past Action Masking.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
On the complexity of rational verification.
Ann. Math. Artif. Intell., August, 2023

Reasoning about Quality and Fuzziness of Strategic Behaviors.
ACM Trans. Comput. Log., 2023

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

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

Optimal Alignment of Temporal Knowledge Bases.
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.
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.
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
Expressiveness and Nash Equilibrium in Iterated Boolean Games.
ACM Trans. Comput. Log., 2021

Multi-player games with LDL goals over finite traces.
Inf. Comput., 2021

Rational verification: game-theoretic verification of multi-agent systems.
Appl. Intell., 2021

Equilibria for games with combined qualitative and quantitative objectives.
Acta Informatica, 2021

Timed Trace Alignment with Metric Temporal Logic over Finite Traces.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Synthesis with Mandatory Stop Actions.
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.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Hierarchical cost-parity games.
Theor. Comput. Sci., 2020

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.
Artif. Intell., 2020

Reasoning About Quality and Fuzziness of Strategic Behaviours.
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.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Nash Equilibrium and Bisimulation Invariance.
Log. Methods Comput. Sci., 2019

A Computational Framework for Adaptive Systems and its Verification.
CoRR, 2019

On Computational Tractability for Rational Verification.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Equilibrium Design for Concurrent Games.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

Enforcing Equilibria in Multi-Agent Systems.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Imperfect information in Reactive Modules games.
Inf. Comput., 2018

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

EVE: A Tool for Temporal Equilibrium Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Reasoning about Strategies: on the Satisfiability Problem.
Log. Methods Comput. Sci., 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Iterated Games with LDL Goals over Finite Traces.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Cycle Detection in Computation Tree Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Synthesis with rational environments.
Ann. Math. Artif. Intell., 2016

Checking interval properties of computations.
Acta Informatica, 2016

Solving Parity Games Using an Automata-Based Algorithm.
Proceedings of the Implementation and Application of Automata, 2016

Rational Verification: From Model Checking to Equilibrium Checking.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Multi-agent Path Planning in Known Dynamic Environments.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Pushdown Multi-Agent System Verification.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Binding Forms in First-Order Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Reasoning About Strategies: On the Model-Checking Problem.
ACM Trans. Comput. Log., 2014

On the Remarkable Features of Binding Forms.
CoRR, 2014

Checking Interval Properties of Computations.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2012
A Decidable Fragment of Strategy Logic
CoRR, 2012

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012


  Loading...