Giuseppe Perelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
11
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Synthesising Minimum Cost Dynamic Norms. | Natasha Alechina, Brian Logan, Giuseppe Perelli |
| 2025 | KR | LTL Synthesis Under Multi-Agent Environment Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2024 | AAAI | Pure-Past Action Masking. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2024 | ECAI | Synthesis of Reward Machines for Multi-Agent Equilibrium Design. | Muhammad Najib, Giuseppe Perelli |
| 2024 | IJCAI | Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. | Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | ISoLA | Strategies in Spatio-Temporal Logics for Multi-agent Systems. | Paolo Bottoni, Anna Labella, Giuseppe Perelli |
| 2024 | KR | Incentive Design for Rational Agents. | David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2023 | ECAI | Strategy Repair in Reachability Games. | Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli |
| 2023 | ECAI | Optimal Alignment of Temporal Knowledge Bases. | Oliver Fernndez Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan |
| 2023 | EUMAS | Behavioral QLTL. | Giuseppe De Giacomo, Giuseppe Perelli |
| 2022 | KR | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. | Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2022 | TIME | Giving Instructions in Linear Temporal Logic. | Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
| 2021 | IJCAI | HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli |
| 2021 | KR | Synthesis with Mandatory Stop Actions. | Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2021 | KR | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. | Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2020 | ECAI | Reasoning About Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | CONCUR | Equilibrium Design for Concurrent Games. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | IJCAI | On Computational Tractability for Rational Verification. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | IJCAI | Reasoning about Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2018 | ATVA | EVE: A Tool for Temporal Equilibrium Analysis. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2018 | IJCAI | Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. | Shaull Almagor, Orna Kupferman, Giuseppe Perelli |
| 2017 | CONCUR | Nash Equilibrium and Bisimulation Invariance. | Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | IJCAI | Nash Equilibria in Concurrent Games with Lexicographic Preferences. | Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge |
| 2017 | TIME | Hierarchical Cost-Parity Games. | Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino |
| 2016 | AAAI | Rational Verification: From Model Checking to Equilibrium Checking. | Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi |
| 2016 | KR | Imperfect Information in Reactive Modules Games. | Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge |
| 2015 | CSL | Binding Forms in First-Order Logic. | Fabio Mogavero, Giuseppe Perelli |
| 2015 | IJCAI | Pushdown Multi-Agent System Verification. | Aniello Murano, Giuseppe Perelli |
| 2015 | PRIMA | Multi-agent Path Planning in Known Dynamic Environments. | Aniello Murano, Giuseppe Perelli, Sasha Rubin |
| 2014 | EUMAS | Synthesis with Rational Environments. | Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi |
| 2014 | TIME | Checking Interval Properties of Computations. | Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron |
| 2012 | CONCUR | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |