Giuseppe Perelli

Citée par

	Toutes	Depuis 2019
Citations	1231	843
indice h	19	18
indice i10	29	24

220

110

165

20122013201420152016201720182019202020212022202320248 16 28 40 63 96 111 105 107 131 124 208 161

Accès public

Tout afficher

39 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIAdresse e-mail validée de unina.it
Michael WooldridgeUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Julian GutierrezMonash University Senior LecturerAdresse e-mail validée de monash.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIAdresse e-mail validée de fabiomogavero.com
Moshe Y. VardiRice UniversityAdresse e-mail validée de cs.rice.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityAdresse e-mail validée de cs.huji.ac.il
Paul HarrensteinPost-doctoral researcher, University of OxfordAdresse e-mail validée de in.tum.de
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaAdresse e-mail validée de diag.uniroma1.it
Sasha RubinUniversity of SydneyAdresse e-mail validée de sydney.edu.au
Angelo MontanariProfessor of Computer Science, Univ. of UdineAdresse e-mail validée de uniud.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenAdresse e-mail validée de gu.se
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeAdresse e-mail validée de dis.uniroma1.it
Thomas SteeplesDPhil student, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceAdresse e-mail validée de irisa.fr
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayAdresse e-mail validée de lsv.fr
Bastien MaubertUniversità degli Studi di Napoli Federico IIAdresse e-mail validée de unina.it
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgAdresse e-mail validée de gu.se
Loredana SorrentinoUniversità di Napoli Federico IIAdresse e-mail validée de unina.it
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonAdresse e-mail validée de soton.ac.uk
Alexis ToumiPlantingSpaceAdresse e-mail validée de planting.space

Suivre

Giuseppe Perelli

Assistant Professor at Sapienza University of Rome

Adresse e-mail validée de di.uniroma1.it - Page d'accueil

Formal Methods Strategic Reasoning Automated Reasoning Artificial Intelligence Multi-Agent


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	284	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	94	2012
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016	85	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	61	2016
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi Logical Methods in Computer Science 13, 2017	53	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	42	2020
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi European Conference on Multi-Agent Systems, 219-235, 2014	37	2014
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	36	2018
EVE: A Tool for Temporal Equilibrium Analysis J Gutierrez, M Najib, G Perelli, M Wooldridge Automated Technology for Verification and Analysis: 16th International …, 2018	34	2018
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	31	2017
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
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	30	2015
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	29	2021
Synthesis of controllable nash equilibria in games with quantitative objectives S Almagor, O Kupferman, G Perelli International Joint Conference on Artificial Intelligence, 2018	25	2018
On computational tractability for rational verification J Gutierrez, M Najib, G Perelli, M Wooldridge University of Leicester, 2020	20	2020
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	19	2021
Nash equilibrium and bisimulation invariance J Gutierrez, P Harrenstein, G Perelli, M Wooldridge Logical Methods in Computer Science 15, 2019	19	2019
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs