Alessio R Lomuscio
Imperial College London
H-index: 47
Europe-United Kingdom
Top articles of Alessio R Lomuscio
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verifying Neural Networks | 2024/1/4 | ||
Pilot Experimentation for Safe Exploration and Side-Effects Avoidance | C Henrik Aslund Alessio Lomuscio | 2024 | |
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks | arXiv preprint arXiv:2401.11627 | Ben Batten Mehran Hosseini Alessio Lomuscio | 2024/1/21 |
Bounded and unbounded verification of rnn-based agents in non-deterministic environments | Mehran Hosseini Alessio Lomuscio | 2023/5/30 | |
VENUS: Formal Verification for Neural Systems | Alessio Lomuscio | 2023/7/28 | |
Towards robust contrastive explanations for human-neural multi-agent systems | Francesco Leofante Alessio Lomuscio | 2023/5/30 | |
Robust training of neural networks against bias field perturbations | Proceedings of the AAAI Conference on Artificial Intelligence | Patrick Henriksen Alessio Lomuscio | 2023/6/26 |
Expressive Losses for Verified Robustness via Convex Combinations | arXiv preprint arXiv:2305.13991 | Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M Pawan Kumar Robert Stanforth | 2023/5/23 |
A semidefinite relaxation based branch-and-bound method for tight neural network verification | Proceedings of the AAAI Conference on Artificial Intelligence | Jianglin Lan Benedikt Brückner Alessio Lomuscio | 2023/6/26 |
Robust explanations for human-neural multi-agent systems with formal verification | Francesco Leofante Alessio Lomuscio | 2023/9/7 | |
Efficient Verification of Neural Networks Against LVM-Based Specifications | Harleen Hanspal Alessio Lomuscio | 2023 | |
Iteratively enhanced semidefinite relaxations for efficient neural network verification | Proceedings of the AAAI Conference on Artificial Intelligence | Jianglin Lan Yang Zheng Alessio Lomuscio | 2023/6/26 |
Verification of semantic key point detection for aircraft pose estimation | Panagiotis Kouvaros Francesco Leofante Blake Edwards Calvin Chung Dragos Margineantu | 2023/8/1 | |
Verification-friendly networks: the case for parametric relus | Francesco Leofante Patrick Henriksen Alessio Lomuscio | 2023/6/18 | |
Guest Editorial: Special issue on robust machine learning | Machine Learning | Ransalu Senanayake Daniel J Fremont Mykel J Kochenderfer Alessio R Lomuscio Dragos Margineantu | 2023/8 |
Repairing misclassifications in neural networks using limited data | Patrick Henriksen Francesco Leofante Alessio Lomuscio | 2022/4/25 | |
A counter abstraction technique for verifying properties of probabilistic swarm systems | Artificial Intelligence | Alessio Lomuscio Edoardo Pirovano | 2022/4/1 |
Formal verification of neural agents in non-deterministic environments | Autonomous Agents and Multi-Agent Systems | Michael E Akintunde Elena Botoeva Panagiotis Kouvaros Alessio Lomuscio | 2022 |
Approximating perfect recall when model checking strategic abilities: Theory and applications | Journal of Artificial Intelligence Research | Francesco Belardinelli Alessio Lomuscio Vadim Malvone Emily Yu | 2022/3/17 |
Verification Of Perception Systems | 2022/1/20 |