Giuseppe Perelli

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1309	805
indeks-h	19	18
indeks-i10	31	24

220

110

165

201220132014201520162017201820192020202120222023202420258 19 30 40 63 99 108 109 105 131 121 204 200 42

Akses publik

Lihat semua

41 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

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

Ikuti

Giuseppe Perelli

Associate Professor at Sapienza University of Rome

Email yang diverifikasi di di.uniroma1.it - Beranda

Multi-Agent Systems Strategic Reasoning Automated Reasoning Artificial Intelligence


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	304	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	99	2012
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016	89	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	57	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	45	2020
Synthesis with rational environments O Kupferman, G Perelli, MY Vardi European Conference on Multi-Agent Systems, 219-235, 2014	42	2014
Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018	38	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	35	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	33	2020
EVE: A tool for temporal equilibrium analysis J Gutierrez, M Najib, G Perelli, M Wooldridge International Symposium on Automated Technology for Verification and …, 2018	33	2018
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	33	2015
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	32	2017
Synthesis of controllable nash equilibria in games with quantitative objectives S Almagor, O Kupferman, G Perelli International Joint Conference on Artificial Intelligence, 2018	27	2018
Equilibrium design for concurrent games J Gutierrez, M Najib, G Perelli, M Wooldridge arXiv preprint arXiv:2106.10192, 2021	21	2021
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
Nash equilibrium and bisimulation invariance J Gutierrez, P Harrenstein, G Perelli, M Wooldridge Logical Methods in Computer Science 15, 2019	19	2019
Reconfigurable interaction for MAS modelling YA Alrahman, G Perelli, N Piterman arXiv preprint arXiv:1906.10793, 2019	19	2019

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama