Giuseppe Perelli

Citata da

	Tutte	Dal 2020
Citazioni	1271	778
Indice H	19	17
i10-index	30	23

200

100

150

201220132014201520162017201820192020202120222023202420258 16 28 40 63 96 111 105 107 131 124 198 198 18

Accesso pubblico

Visualizza tutto

40 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIEmail verificata su unina.it
Michael WooldridgeUniversity of OxfordEmail verificata su cs.ox.ac.uk
Julian GutierrezAssociate Professor, University of SussexEmail verificata su sussex.ac.uk
Fabio MogaveroUniversità degli Studi di Napoli Federico IIEmail verificata su fabiomogavero.com
Moshe Y. VardiRice UniversityEmail verificata su cs.rice.edu
Muhammad NajibHeriot-Watt UniversityEmail verificata su hw.ac.uk
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityEmail verificata su cs.huji.ac.il
Paul HarrensteinPost-doctoral researcher, University of OxfordEmail verificata su in.tum.de
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaEmail verificata su diag.uniroma1.it
Sasha RubinUniversity of SydneyEmail verificata su sydney.edu.au
Angelo MontanariProfessor of Computer Science, Univ. of UdineEmail verificata su uniud.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenEmail verificata su gu.se
Thomas SteeplesDPhil student, University of OxfordEmail verificata su cs.ox.ac.uk
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeEmail verificata su dis.uniroma1.it
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceEmail verificata su irisa.fr
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayEmail verificata su lsv.fr
Bastien MaubertUniversità degli Studi di Napoli Federico IIEmail verificata su unina.it
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgEmail verificata su gu.se
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonEmail verificata su soton.ac.uk
Antonio Di StasioLecturer (Assistant Professor) in Computer ScienceEmail verificata su city.ac.uk

Segui

Giuseppe Perelli

Associate Professor at Sapienza University of Rome

Email verificata su di.uniroma1.it - Home page

Multi-Agent Systems Strategic Reasoning Automated Reasoning Artificial Intelligence


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	294	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	95	2012
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016	88	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	62	2016
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi Logical Methods in Computer Science 13, 2017	55	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	44	2020
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi European Conference on Multi-Agent Systems, 219-235, 2014	39	2014
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	37	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
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	33	2021
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020	32	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	31	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	30	2015
Synthesis of controllable nash equilibria in games with quantitative objectives S Almagor, O Kupferman, G Perelli International Joint Conference on Artificial Intelligence, 2018	26	2018
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	20	2021
On computational tractability for rational verification J Gutierrez, M Najib, G Perelli, M Wooldridge University of Leicester, 2020	20	2020
Equilibrium design for concurrent games J Gutierrez, M Najib, G Perelli, M Wooldridge arXiv preprint arXiv:2106.10192, 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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori