Giuseppe Perelli

Cited by

	All	Since 2019
Citations	1145	758
h-index	18	16
i10-index	29	23

200

100

150

20122013201420152016201720182019202020212022202320248 16 28 40 63 96 111 105 107 131 119 200 90

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Julian GutierrezMonash University Senior LecturerVerified email at monash.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Paul HarrensteinPost-doctoral researcher, University of OxfordVerified email at in.tum.de
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Thomas SteeplesDPhil student, University of OxfordVerified email at cs.ox.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Yehia Abd AlrahmanAssociate Professor in ComputingVerified email at gu.se
Loredana SorrentinoUniversità di Napoli Federico IIVerified email at unina.it
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Antonio Di StasioSenior Research Associate, University of OxfordVerified email at cs.ox.ac.uk
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk

Giuseppe Perelli

Assistant Professor at Sapienza University of Rome

Verified email at di.uniroma1.it - Homepage

Formal Methods Strategic Reasoning Automated Reasoning Artificial Intelligence Multi-Agent Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reasoning about strategies: On the model-checking problem F Mogavero, A Murano, G Perelli, MY Vardi ACM Transactions on Computational Logic (TOCL) 15 (4), 1-47, 2014	276	2014
What makes ATL* decidable? a decidable fragment of strategy logic F Mogavero, A Murano, G Perelli, MY Vardi International Conference on Concurrency Theory, 193-208, 2012	93	2012
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016	80	2016
Rational verification: From model checking to equilibrium checking M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016	55	2016
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi Logical Methods in Computer Science 13, 2017	51	2017
Checking interval properties of computations A Molinari, A Montanari, A Murano, G Perelli, A Peron Acta Informatica 53, 587-619, 2016	51	2016
Reasoning about quality and fuzziness of strategic behaviours P Bouyer, O Kupferman, N Markey, B Maubert, A Murano, G Perelli ECAI 2020, 2887-2888, 2020	35	2020
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi European Conference on Multi-Agent Systems, 219-235, 2014	35	2014
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	32	2018
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020	30	2020
Nash equilibria in concurrent games with lexicographic preferences J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge 2017 International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017	29	2017
Multi-agent path planning in known dynamic environments A Murano, G Perelli, S Rubin International conference on principles and practice of multi-agent systems …, 2015	29	2015
EVE: A Tool for Temporal Equilibrium Analysis J Gutierrez, M Najib, G Perelli, M Wooldridge Automated Technology for Verification and Analysis: 16th International …, 2018	27	2018
Rational verification: game-theoretic verification of multi-agent systems A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ... Applied Intelligence 51 (9), 6569-6584, 2021	23	2021
On computational tractability for rational verification J Gutierrez, M Najib, G Perelli, M Wooldridge University of Leicester, 2020	20	2020
Synthesis of controllable nash equilibria in games with quantitative objectives S Almagor, O Kupferman, G Perelli International Joint Conference on Artificial Intelligence, 2018	20	2018
Solving parity games using an automata-based algorithm A Di Stasio, A Murano, G Perelli, MY Vardi International Conference on Implementation and Application of Automata, 64-76, 2016	19	2016
Checking interval properties of computations A Montanari, A Murano, G Perelli, A Peron 2014 21st International Symposium on Temporal Representation and Reasoning …, 2014	19	2014
Equilibria for games with combined qualitative and quantitative objectives J Gutierrez, A Murano, G Perelli, S Rubin, T Steeples, M Wooldridge Acta Informatica 58 (6), 585-610, 2021	18	2021
Nash equilibrium and bisimulation invariance J Gutierrez, P Harrenstein, G Perelli, M Wooldridge Logical Methods in Computer Science 15, 2019	18	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors