Giuseppe Perelli

Cited by

	All	Since 2018
Citations	978	699
h-index	17	15
i10-index	27	22

160

120

2012201320142015201620172018201920202021202220236 18 29 44 68 95 128 114 89 143 133 90

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
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
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
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
Antonio Di StasioPost-doctoral researcher, University of OxfordVerified email at cs.ox.ac.uk
Yehia Abd AlrahmanSenior Research Fellow at University of GothenburgVerified email at gu.se
Thomas SteeplesDPhil student, 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
Alexis ToumiPlantingSpace, QuantinuumVerified email at planting.space
Alberto MolinariPhd student, University of UdineVerified email at spes.uniud.it
Shaull AlmagorAssistant Professor, TechnionVerified email at cs.technion.ac.il
Loredana SorrentinoUniversità di Napoli Federico IIVerified email at unina.it
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr

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	238	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	70	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	50	2016
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1611.08541, 2016	48	2016
Checking interval properties of computations A Molinari, A Montanari, A Murano, G Perelli, A Peron Acta Informatica 53, 587-619, 2016	48	2016
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi European Conference on Multi-Agent Systems, 219-235, 2014	36	2014
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	31	2018
Nash equilibria in concurrent games with lexicographic preferences J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge Association for the Advancement of Artificial Intelligence, 2017	25	2017
EVE: A Tool for Temporal Equilibrium Analysis J Gutierrez, M Najib, G Perelli, M Wooldridge Automated Technology for Verification and Analysis: 16th International …, 2018	24	2018
Multi-agent path planning in known dynamic environments A Murano, G Perelli, S Rubin PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th …, 2015	21	2015
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020	20	2020
Solving parity games using an automata-based algorithm A Di Stasio, A Murano, G Perelli, MY Vardi Implementation and Application of Automata: 21st International Conference …, 2016	20	2016
Reasoning about Quality and Fuzziness of Strategic Behaviors P Bouyer, O Kupferman, N Markey, B Maubert, A Murano, G Perelli ACM Transactions on Computational Logic 24 (3), 1-38, 2023	19	2023
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
Nash equilibrium and bisimulation invariance J Gutierrez, P Harrenstein, G Perelli, M Wooldridge arXiv preprint arXiv:1808.09213, 2018	17	2018
Pushdown Multi-Agent System Verification. A Murano, G Perelli IJCAI 15, 1090-1097, 2015	17	2015
Reconfigurable interaction for MAS modelling YA Alrahman, G Perelli, N Piterman arXiv preprint arXiv:1906.10793, 2019	15	2019
Iterated games with LDL goals over finite traces J Gutierrez, G Perelli, M Wooldridge International Foundation for Autonomous Agents and Multiagent Systems, 2017	15	2017
On computational tractability for rational verification J Gutierrez, M Najib, G Perelli, M Wooldridge International Joint Conferences on Artificial Intelligence, 2019	14	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