OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Alessio Lomuscio
Full Professor, Computing, Imperial College London
Joined
July 2019
Names
Alessio Lomuscio
(Preferred)
,
Alessio R. Lomuscio
Emails
****@imperial.ac.uk
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
Career & Education History
Full Professor
Computing,
Imperial College London
(imperial.ac.uk)
2006
–
Present
Advisors, Relations & Conflicts
PhD Advisor
Mark Ryan
1996
–
1998
Expertise
Certified Learning
,
Adversarial Learning
Present
Robustness
2018
–
Present
Verification of neural networks and Adversarial attacks
2017
–
Present
Verification
2002
–
Present
Multi-Agent Systems
1996
–
Present
Publications
Expressive Losses for Verified Robustness via Convex Combinations
Alessandro De Palma
,
Rudy Bunel
,
Krishnamurthy Dvijotham
,
M. Pawan Kumar
,
Robert Stanforth
,
Alessio Lomuscio
Published: 01 Jan 2023, Last Modified: 25 Sept 2023
CoRR 2023
Readers:
Everyone
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments
Mehran Hosseini
,
Alessio Lomuscio
Published: 01 Jan 2023, Last Modified: 11 Nov 2023
AAMAS 2023
Readers:
Everyone
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Francesco Belardinelli
,
Alessio Lomuscio
,
Vadim Malvone
,
Emily Yu
2022 (modified: 16 Apr 2023)
J. Artif. Intell. Res. 2022
Readers:
Everyone
Formal verification of neural agents in non-deterministic environments
Michael E. Akintunde
,
Elena Botoeva
,
Panagiotis Kouvaros
,
Alessio Lomuscio
Published: 01 Jan 2022, Last Modified: 01 May 2023
Auton. Agents Multi Agent Syst. 2022
Readers:
Everyone
Reasoning About Agents That May Know Other Agents' Strategies
Francesco Belardinelli
,
Sophia Knight
,
Alessio Lomuscio
,
Bastien Maubert
,
Aniello Murano
,
Sasha Rubin
2021 (modified: 16 Apr 2023)
IJCAI 2021
Readers:
Everyone
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching
Panagiotis Kouvaros
,
Alessio Lomuscio
Published: 01 Jan 2021, Last Modified: 01 May 2023
IJCAI 2021
Readers:
Everyone
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts
Ben Batten
,
Panagiotis Kouvaros
,
Alessio Lomuscio
,
Yang Zheng
Published: 01 Jan 2021, Last Modified: 01 May 2023
IJCAI 2021
Readers:
Everyone
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain
Panagiotis Kouvaros
,
Trent Kyono
,
Francesco Leofante
,
Alessio Lomuscio
,
Dragos D. Margineantu
,
Denis Osipychev
,
Yang Zheng
Published: 01 Jan 2021, Last Modified: 01 May 2023
FM 2021
Readers:
Everyone
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks
Vahid Hashemi
,
Panagiotis Kouvaros
,
Alessio Lomuscio
Published: 01 Jan 2021, Last Modified: 01 May 2023
SEFM 2021
Readers:
Everyone
Formal Verification of Neural Agents in Non-deterministic Environments
Michael E. Akintunde
,
Elena Botoeva
,
Panagiotis Kouvaros
,
Alessio Lomuscio
2020 (modified: 29 Sept 2024)
AAMAS 2020
Readers:
Everyone
View all 208 publications
Co-Authors
Alessandro De Palma
Andreas Griesmayer
Andreas Martin
Andreea Kevorchian
Andrew J. I. Jones
Andrew V. Jones
Andrzej Zbrzezny
Aniello Murano
Antonio Chella
Antonis C. Kakas
Artur Niewiadomski
Bastien Maubert
Ben Batten
Ben Strulo
Bozena Wozna
Carlos Cinelli
Charles Pecheur
Christian F. Baumgartner
Clark W. Barrett
David Gamez
Davide Grossi
Denis Osipychev
Dieter Haerle
Donald Nute
Donald Sofge
View all 117 co-authors