Giuseppe Perelli

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 55

Top Topics

Nash Equilibrium

Imperfect Information

Top Venues

Publications

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics (2024)
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Pure-Past Action Masking. AAAI (2024)
Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS (2024)
Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
Strategy Repair in Reachability Games. ECAI (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. ECAI (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. CoRR (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the complexity of rational verification. Ann. Math. Artif. Intell. 91 (4) (2023)
Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL. EUMAS (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR (2023)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24 (3) (2023)
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR (2022)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the Complexity of Rational Verification. CoRR (2022)
Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge
Giving Instructions in Linear Temporal Logic. TIME (2022)
Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR (2021)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CoRR (2021)
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51 (9) (2021)
Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI (2021)
Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL. CoRR (2021)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Multi-player games with LDL goals over finite traces. Inf. Comput. 276 (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Synthesis with Mandatory Stop Actions. KR (2021)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. 22 (2) (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58 (6) (2021)
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Hierarchical cost-parity games. Theor. Comput. Sci. 847 (2020)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Reconfigurable Interaction for MAS Modelling. AAMAS (2020)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI (2020)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287 (2020)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Multi-Player Games with LDL Goals over Finite Traces. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On Computational Tractability for Rational Verification. IJCAI (2019)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15 (3) (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR (2019)
Giuseppe Perelli
Enforcing Equilibria in Multi-Agent Systems. AAMAS (2019)
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
A Computational Framework for Adaptive Systems and its Verification. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI (2019)
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Solving Parity Games Using An Automata-Based Algorithm. CoRR (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CONCUR (2019)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. CoRR (2018)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
EVE: A Tool for Temporal Equilibrium Analysis. ATVA (2018)
Shaull Almagor, Orna Kupferman, Giuseppe Perelli
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IJCAI (2018)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Imperfect information in Reactive Modules games. Inf. Comput. 261 (2018)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle detection in computation tree logic. Inf. Comput. 262 (2018)
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Hierarchical Cost-Parity Games. TIME (2017)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Iterated Games with LDL Goals over Finite Traces. AAMAS (2017)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13 (1) (2017)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. CONCUR (2017)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI (2017)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking Interval Properties of Computations. CoRR (2016)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking interval properties of computations. Acta Informatica 53 (6-8) (2016)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Imperfect Information in Reactive Modules Games. KR (2016)
Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
Rational Verification: From Model Checking to Equilibrium Checking. AAAI (2016)
Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi
Synthesis with rational environments. Ann. Math. Artif. Intell. 78 (1) (2016)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS (2016)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle Detection in Computation Tree Logic. GandALF (2016)
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Solving Parity Games Using an Automata-Based Algorithm. CIAA (2016)
Aniello Murano, Giuseppe Perelli
Pushdown Multi-Agent System Verification. IJCAI (2015)
Aniello Murano, Giuseppe Perelli, Sasha Rubin
Multi-agent Path Planning in Known Dynamic Environments. PRIMA (2015)
Fabio Mogavero, Giuseppe Perelli
Binding Forms in First-Order Logic. CSL (2015)
Fabio Mogavero, Giuseppe Perelli
On the Remarkable Features of Binding Forms. CoRR (2014)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15 (4) (2014)
Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking Interval Properties of Computations. TIME (2014)
Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi
Synthesis with Rational Environments. EUMAS (2014)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
A Decidable Fragment of Strategy Logic CoRR (2012)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR (2012)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning About Strategies: On the Model-Checking Problem CoRR (2011)