default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe Perelli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c39]Giovanni Varricchione
, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655- [c38]Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli:
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS 2024: 926-934 - [c37]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics 2024 - [c36]Muhammad Najib, Giuseppe Perelli:
Synthesis of Reward Machines for Multi-Agent Equilibrium Design. ECAI 2024: 2733-2740 - [c35]Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli:
Strategy Repair for Reachability Games (short paper). ICTCS 2024: 200-205 - [c34]Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. IJCAI 2024: 67-75 - [c33]Paolo Bottoni, Anna Labella, Giuseppe Perelli:
Strategies in Spatio-Temporal Logics for Multi-agent Systems. ISoLA (1) 2024: 287-305 - [c32]David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge:
Incentive Design for Rational Agents. KR 2024 - [i17]Muhammad Najib, Giuseppe Perelli:
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version). CoRR abs/2408.10074 (2024) - 2023
- [j15]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the complexity of rational verification. Ann. Math. Artif. Intell. 91(4): 409-430 (2023) - [j14]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): 21:1-21:38 (2023) - [c31]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. ECAI 2023: 708-715 - [c30]Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli:
Strategy Repair in Reachability Games. ECAI 2023: 780-787 - [c29]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. EUMAS 2023: 133-149 - [i16]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR abs/2306.03045 (2023) - [i15]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. CoRR abs/2307.15439 (2023) - 2022
- [c28]Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 - [c27]Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge:
Giving Instructions in Linear Temporal Logic. TIME 2022: 15:1-15:14 - [i14]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the Complexity of Rational Verification. CoRR abs/2207.02637 (2022) - 2021
- [j13]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): 585-610 (2021) - [j12]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): 6569-6584 (2021) - [j11]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-player games with LDL goals over finite traces. Inf. Comput. 276: 104555 (2021) - [j10]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. 22(2): 8:1-8:38 (2021) - [c26]Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli:
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021: 1859-1865 - [c25]Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR 2021: 227-236 - [c24]Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu:
Synthesis with Mandatory Stop Actions. KR 2021: 237-246 - [i13]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. CoRR abs/2102.11184 (2021) - [i12]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CoRR abs/2106.10192 (2021) - 2020
- [j9]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287: 103353 (2020) - [j8]Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Hierarchical cost-parity games. Theor. Comput. Sci. 847: 147-174 (2020) - [c23]Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
Reconfigurable Interaction for MAS Modelling. AAMAS 2020: 7-15 - [c22]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI 2020: 2887-2888 - [i11]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR abs/2008.05638 (2020) - [i10]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR abs/2008.05643 (2020) - [i9]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-Player Games with LDL Goals over Finite Traces. CoRR abs/2008.05647 (2020)
2010 – 2019
- 2019
- [j7]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15(3) (2019) - [c21]Giuseppe Perelli:
Enforcing Equilibria in Multi-Agent Systems. AAMAS 2019: 188-196 - [c20]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CONCUR 2019: 22:1-22:16 - [c19]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On Computational Tractability for Rational Verification. IJCAI 2019: 329-335 - [c18]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI 2019: 1588-1594 - [i8]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR abs/1905.11537 (2019) - [i7]Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman:
A Computational Framework for Adaptive Systems and its Verification. CoRR abs/1906.10793 (2019) - [i6]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using An Automata-Based Algorithm. CoRR abs/1910.13765 (2019) - 2018
- [j6]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect information in Reactive Modules games. Inf. Comput. 261: 650-675 (2018) - [j5]Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle detection in computation tree logic. Inf. Comput. 262: 265-279 (2018) - [c17]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
EVE: A Tool for Temporal Equilibrium Analysis. ATVA 2018: 551-557 - [c16]Shaull Almagor, Orna Kupferman, Giuseppe Perelli:
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IJCAI 2018: 35-41 - [i5]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CoRR abs/1808.09213 (2018) - 2017
- [j4]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13(1) (2017) - [c15]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Iterated Games with LDL Goals over Finite Traces. AAMAS 2017: 696-704 - [c14]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CONCUR 2017: 17:1-17:16 - [c13]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge:
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI 2017: 1067-1073 - [c12]Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Hierarchical Cost-Parity Games. TIME 2017: 6:1-6:17 - 2016
- [j3]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking interval properties of computations. Acta Informatica 53(6-8): 587-619 (2016) - [j2]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1): 3-20 (2016) - [c11]Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi:
Rational Verification: From Model Checking to Equilibrium Checking. AAAI 2016: 4184-4191 - [c10]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS 2016: 707-715 - [c9]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect Information in Reactive Modules Games. KR 2016: 390-400 - [c8]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76 - [c7]Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle Detection in Computation Tree Logic. GandALF 2016: 164-177 - [i4]Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. CoRR abs/1601.03195 (2016) - 2015
- [c6]Fabio Mogavero, Giuseppe Perelli:
Binding Forms in First-Order Logic. CSL 2015: 648-665 - [c5]Aniello Murano, Giuseppe Perelli:
Pushdown Multi-Agent System Verification. IJCAI 2015: 1090-1097 - [c4]Aniello Murano, Giuseppe Perelli, Sasha Rubin:
Multi-agent Path Planning in Known Dynamic Environments. PRIMA 2015: 218-231 - 2014
- [j1]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014) - [c3]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with Rational Environments. EUMAS 2014: 219-235 - [c2]Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. TIME 2014: 59-68 - [i3]Fabio Mogavero, Giuseppe Perelli:
On the Remarkable Features of Binding Forms. CoRR abs/1404.1531 (2014) - 2012
- [c1]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208 - [i2]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012) - 2011
- [i1]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
