Alessio R Lomuscio

Citado por

	Total	Desde 2019
Citas	10098	3351
Índice h	45	26
Índice i10	146	78

760

380

190

570

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 78 131 216 282 298 377 457 365 355 419 400 458 438 443 409 508 445 482 489 455 556 642 751 453

Acceso público

Ver todo

56 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Michael WooldridgeUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Francesco BelardinelliImperial College LondonDirección de correo verificada de imperial.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteDirección de correo verificada de gssi.it
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Dirección de correo verificada de ipipan.waw.pl
Panagiotis KouvarosUniversity of LimassolDirección de correo verificada de uol.ac.cy
Hongyang QuResearch Fellow, University of SheffieldDirección de correo verificada de sheffield.ac.uk
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIDirección de correo verificada de unina.it
Nick JenningsVice-Chancellor and President, Loughborough UniversityDirección de correo verificada de lboro.ac.uk
Bozena Wozna-SzczesniakInstytut Matematyki i Informatyki, Jan Dlugosz University in CzestochowaDirección de correo verificada de ajd.czest.pl
Mark D. RyanProfessor of Computer Security, University of BirminghamDirección de correo verificada de cs.bham.ac.uk
Edoardo PirovanoSoftware Engineer, LaceworkDirección de correo verificada de lacework.net
Patrick HenriksenImperial College LondonDirección de correo verificada de ic.ac.uk
Jakub MichaliszynUniversity of WrocławDirección de correo verificada de cs.uni.wroc.pl
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeDirección de correo verificada de dis.uniroma1.it
Sasha RubinUniversity of SydneyDirección de correo verificada de sydney.edu.au
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupDirección de correo verificada de liverpool.ac.uk
Carles SierraProfessor of Artificial IntelligenceDirección de correo verificada de iiia.csic.es
Peyman FaratinNYU, MITDirección de correo verificada de mit.edu
Magdalena KacprzakBialystok University of TechnologyDirección de correo verificada de pb.edu.pl
Andrew V. JonesVector Software, Inc.Dirección de correo verificada de vectorcast.com

Seguir

Alessio R Lomuscio

Imperial College London

Dirección de correo verificada de imperial.ac.uk - Página principal

AI Safety Verification Robustness Multi-Agent Systems. Logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Automated negotiation: prospects, methods and challenges NR Jennings, P Faratin, AR Lomuscio, S Parsons, C Sierra, M Wooldridge International Journal of Group Decision and Negotiation 10 (2), 199-215, 2001	2127	2001
MCMAS: an open-source model checker for the verification of multi-agent systems A Lomuscio, H Qu, F Raimondi International Journal on Software Tools for Technology Transfer 19, 9-30, 2017	689	2017
A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Group Decision and Negotiation 12, 31-56, 2003	438	2003
An approach to reachability analysis for feed-forward relu neural networks A Lomuscio, L Maganti arXiv preprint arXiv:1706.07351, 2017	391	2017
A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Agent mediated electronic commerce: the European AgentLink perspective, 19-33, 2001	298	2001
Verifying epistemic properties of multi-agent systems via bounded model checking W Penczek, A Lomuscio Proceedings of the second international joint conference on Autonomous …, 2003	240	2003
mcmas: A Model Checker for Multi-agent Systems A Lomuscio, F Raimondi International conference on tools and algorithms for the construction and …, 2006	190	2006
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams F Raimondi, A Lomuscio Journal of Applied Logic 5 (2), 235-251, 2007	179	2007
Efficient verification of relu-based neural networks via dependency analysis E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3291-3299, 2020	171	2020
Deontic interpreted systems A Lomuscio, M Sergot Studia Logica 75, 63-92, 2003	169	2003
Efficient neural network verification via adaptive refinement and adversarial search P Henriksen, A Lomuscio ECAI 2020, 2513-2520, 2020	132	2020
Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (3), 315-321, 1997	119	1997
MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	110	2014
Model checking knowledge, strategies, and games in multi-agent systems A Lomuscio, F Raimondi Proceedings of the fifth international joint conference on Autonomous agents …, 2006	102	2006
Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004	98	2004
A logic for ignorance W Van Der Hoek, A Lomuscio Electronic Notes in Theoretical Computer Science 85 (2), 117-133, 2004	97	2004
On the complexity of practical ATL model checking W van der Hoek, A Lomuscio, M Wooldridge Proceedings of the fifth international joint conference on Autonomous agents …, 2006	91	2006
Towards verifying contract regulated service composition A Lomuscio, H Qu, M Solanki Autonomous Agents and Multi-Agent Systems 24, 345-373, 2012	89	2012
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. P Henriksen, A Lomuscio IJCAI, 2549-2555, 2021	87	2021
Reachability analysis for neural agent-environment systems M Akintunde, A Lomuscio, L Maganti, E Pirovano Sixteenth international conference on principles of knowledge representation …, 2018	84	2018

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores