Lomuscio, Alessio

44 publications

AAAI 2025 Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio

CVPRW 2025 Improving Weather-Based OOD Generalisation in LiDAR-Based Object Detection Models via Adversarial Training Ben Batten, Alessio Lomuscio

UAI 2025 Learning Robust XGBoost Ensembles for Regression Tasks Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio

NeurIPS 2025 Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2025 Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner, Alessio Lomuscio

ICLR 2024 Expressive Losses for Verified Robustness via Convex Combinations Alessandro De Palma, Rudy R Bunel, Krishnamurthy Dj Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio

AISTATS 2024 Tight Verification of Probabilistic Robustness in Bayesian Neural Networks Ben Batten, Mehran Hosseini, Alessio Lomuscio

AAAI 2023 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification Jianglin Lan, Benedikt Brückner, Alessio Lomuscio

CVPR 2023 Efficient Verification of Neural Networks Against LVM-Based Specifications Harleen Hanspal, Alessio Lomuscio

AAAI 2023 Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification Jianglin Lan, Yang Zheng, Alessio Lomuscio

AAAI 2023 Robust Training of Neural Networks Against Bias Field Perturbations Patrick Henriksen, Alessio Lomuscio

JAIR 2022 Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

AAAI 2022 Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations Jianglin Lan, Yang Zheng, Alessio Lomuscio

IJCAI 2021 DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis Patrick Henriksen, Alessio Lomuscio

IJCAI 2021 Efficient Neural Network Verification via Layer-Based Semidefinite Relaxations and Linear Cuts Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng

IJCAI 2021 Reasoning About Agents That May Know Other Agents' Strategies Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 2021 Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-Based Branching Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2020 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

AAAI 2020 Model Checking Temporal Epistemic Logic Under Bounded Recall Francesco Belardinelli, Alessio Lomuscio, Emily Yu

IJCAI 2020 Synthesizing Strategies Under Expected and Exceptional Environment Behaviors Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2020 Verifying Fault-Tolerance in Probabilistic Swarm Systems Alessio Lomuscio, Edoardo Pirovano

AAAI 2019 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2018 Alternating-Time Temporal Logic on Finite Traces Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2018 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems Alessio Lomuscio, Edoardo Pirovano

IJCAI 2017 Model Checking Multi-Agent Systems Against LDLK Specifications Jeremy Kong, Alessio Lomuscio

IJCAI 2017 Parameterised Verification of Data-Aware Multi-Agent Systems Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2017 Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2017 Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2017 Verifying Fault-Tolerance in Parameterised Multi-Agent Systems Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2015 A Counter Abstraction Technique for the Verification of Robot Swarms Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2015 Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems Francesco Belardinelli, Davide Grossi, Alessio Lomuscio

IJCAI 2015 Verifying Emergent Properties of Swarms Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2015 Verifying and Synthesising Multi-Agent Systems Against One-Goal Strategy Logic Specifications Petr Cermák, Alessio Lomuscio, Aniello Murano

JAIR 2014 Verification of Agent-Based Artifact Systems Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

IJCAI 2013 A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2013 An Epistemic Halpern-Shoham Logic Alessio Lomuscio, Jakub Michaliszyn

IJCAI 2013 Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems Francesco Belardinelli, Alessio Lomuscio

JAIR 2012 Interactions Between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results Francesco Belardinelli, Alessio Lomuscio

IJCAI 2011 A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

IJCAI 2011 Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres

IJCAI 2009 A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

IJCAI 2007 Automatic Verification of Knowledge and Time with NuSMV Alessio Lomuscio, Charles Pecheur, Franco Raimondi