| 2025 | AAAI | Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. | Benedikt Brckner, Alessio Lomuscio |
| 2025 | AAAI | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. | Panagiotis Kouvaros, Benedikt Brckner, Patrick Henriksen, Alessio Lomuscio |
| 2025 | CVPR | Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training. | Ben Batten, Alessio Lomuscio |
| 2025 | ECAI | Verifiably Robust Contrastive Learning. | Harleen Hanspal, Alessio Lomuscio |
| 2025 | NeSy | A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification. | Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio |
| 2025 | WACV | Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. | Harleen Hanspal, Alessandro De Palma, Alessio Lomuscio |
| 2025 | UAI | Learning Robust XGBoost Ensembles for Regression Tasks. | Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2024 | AISTATS | Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. | Ben Batten, Mehran Hosseini, Alessio Lomuscio |
| 2024 | ECAI | Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. | Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2024 | ICLR | Expressive Losses for Verified Robustness via Convex Combinations. | Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio |
| 2023 | AAAI | Robust Training of Neural Networks against Bias Field Perturbations. | Patrick Henriksen, Alessio Lomuscio |
| 2023 | AAAI | Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. | Jianglin Lan, Yang Zheng, Alessio Lomuscio |
| 2023 | AAAI | A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. | Jianglin Lan, Benedikt Brckner, Alessio Lomuscio |
| 2023 | CVPR | Efficient Verification of Neural Networks Against LVM-Based Specifications. | Harleen Hanspal, Alessio Lomuscio |
| 2023 | EUMAS | Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. | Francesco Leofante, Alessio Lomuscio |
| 2023 | IJCNN | Verification-friendly Networks: the Case for Parametric ReLUs. | Francesco Leofante, Patrick Henriksen, Alessio Lomuscio |
| 2023 | KR | Verification of Semantic Key Point Detection for Aircraft Pose Estimation. | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio |
| 2023 | NeSy | Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. | Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2022 | AAAI | Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. | Jianglin Lan, Yang Zheng, Alessio Lomuscio |
| 2022 | SAC | Repairing misclassifications in neural networks using limited data. | Patrick Henriksen, Francesco Leofante, Alessio Lomuscio |
| 2021 | BMVC | Bias Field Robustness Verification of Large Neural Image Classifiers. | Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio |
| 2021 | BMVC | Robustness Learning via Decision Tree Search Robust Optimisation. | Yi-Ling Liu, Alessio Lomuscio |
| 2021 | FM | 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 |
| 2021 | IJCAI | Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. | Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng |
| 2021 | IJCAI | Reasoning About Agents That May Know Other Agents' Strategies. | Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2021 | IJCAI | DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. | Patrick Henriksen, Alessio Lomuscio |
| 2021 | IJCAI | Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | KR | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2021 | SEFM | OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. | Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | AAAI | Model Checking Temporal Epistemic Logic under Bounded Recall. | Francesco Belardinelli, Alessio Lomuscio, Emily Yu |
| 2020 | AAAI | Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. | Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener |
| 2020 | IJCAI | Synthesizing strategies under expected and exceptional environment behaviors. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Verifying Fault-Tolerance in Probabilistic Swarm Systems. | Alessio Lomuscio, Edoardo Pirovano |
| 2020 | IJCNN | MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks. | Yi-Ling Liu, Alessio Lomuscio |
| 2020 | KR | Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2019 | AAAI | Verification of RNN-Based Neural Agent-Environment Systems. | Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano |
| 2019 | AAAI | An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2019 | IJCNN | An MCTS-based Adversarial Training Method for Image Recognition. | Yi-Ling Liu, Alessio Lomuscio |
| 2019 | PRIMA | Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | IJCAI | Alternating-time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | IJCAI | Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. | Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano |
| 2018 | IJCAI | Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. | Alessio Lomuscio, Edoardo Pirovano |
| 2018 | KR | Reachability Analysis for Neural Agent-Environment Systems. | Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |
| 2018 | KR | Approximating Perfect Recall When Model Checking Strategic Abilities. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2017 | AAAI | Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2017 | IJCAI | Parameterised Verification of Data-aware Multi-Agent Systems. | Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio |
| 2017 | IJCAI | Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2017 | IJCAI | Model Checking Multi-Agent Systems against LDLK Specifications. | Jeremy Kong, Alessio Lomuscio |
| 2017 | IJCAI | Verifying Fault-tolerance in Parameterised Multi-Agent Systems. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2016 | ECAI | Abstraction-Based Verification of Infinite-State Reactive Modules. | Francesco Belardinelli, Alessio Lomuscio |
| 2016 | ECAI | Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. | Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn |
| 2016 | ECAI | Parameterised Model Checking for Alternating-Time Temporal Logic. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2016 | JELIA | A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2016 | KR | Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. | Alessio Lomuscio, Jakub Michaliszyn |
| 2015 | AAAI | Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. | Petr Cermk, Alessio Lomuscio, Aniello Murano |
| 2015 | AAAI | A Counter Abstraction Technique for the Verification of Robot Swarms. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2015 | IJCAI | Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. | Francesco Belardinelli, Davide Grossi, Alessio Lomuscio |
| 2015 | IJCAI | Verifying Emergent Properties of Swarms. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2015 | ICSOC | Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2014 | CAV | MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. | Petr Cermk, Alessio Lomuscio, Fabio Mogavero, Aniello Murano |
| 2014 | KR | An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. | Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | KR | Model Checking Unbounded Artifact-Centric Systems. | Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | KR | Tutorials. | Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati |
| 2013 | FORTE | Model Checking Distributed Systems against Temporal-Epistemic Specifications. | Andreas Griesmayer, Alessio Lomuscio |
| 2013 | IJCAI | Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2013 | IJCAI | A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2013 | IJCAI | An Epistemic Halpern-Shoham Logic. | Alessio Lomuscio, Jakub Michaliszyn |
| 2013 | ICSOC | Model Checking GSM-Based Multi-Agent Systems. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2012 | AAMAS | Automatic verification of epistemic specifications under convergent equational theories. | Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio |
| 2012 | AAMAS | Group synthesis for parametric temporal-epistemic logic. | Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio |
| 2012 | ICSOC | Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | ICWS | Verifying GSM-Based Business Artifacts. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2012 | KR | An Abstraction Technique for the Verification of Artifact-Centric Systems. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | KR | Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| 2011 | IJCAI | A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2011 | IJCAI | Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. | Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres |
| 2011 | ICSOC | Verification of Deployed Artifact Systems via Data Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2010 | ECAI | Non-elementary speed up for model checking synchronous perfect recall. | Mika Cohen, Alessio Lomuscio |
| 2010 | ECAI | Parallel Model Checking for Temporal Epistemic Logic. | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
| 2010 | ICFEM | A Methodology for Automatic Diagnosability Analysis. | Jonathan Ezekiel, Alessio Lomuscio |
| 2010 | ICFEM | Assume-Guarantee Reasoning with Local Specifications. | Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu |
| 2010 | KR | Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2009 | AINA | Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. | Alessio Lomuscio, Monika Solanki |
| 2009 | ATVA | A Data Symmetry Reduction Technique for Temporal-epistemic Logic. | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
| 2009 | CAV | MCMAS: A Model Checker for the Verification of Multi-Agent Systems. | Alessio Lomuscio, Hongyang Qu, Franco Raimondi |
| 2009 | IJCAI | A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
| 2009 | SEFM | An Automated Approach to Verifying Diagnosability in Multi-agent Systems. | Jonathan Ezekiel, Alessio Lomuscio |
| 2009 | WoLLIC | First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. | Francesco Belardinelli, Alessio Lomuscio |
| 2008 | ICWS | Towards Verifying Contract Regulated Service Composition. | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
| 2008 | KR | A Complete First-Order Logic of Knowledge and Time. | Francesco Belardinelli, Alessio Lomuscio |
| 2007 | IJCAI | Automatic Verification of Knowledge and Time with NuSMV. | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
| 2007 | ICSOC | Verifying Temporal and Epistemic Properties of Web Service Compositions. | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
| 2006 | TACAS | MCMAS: A Model Checker for Multi-agent Systems. | Alessio Lomuscio, Franco Raimondi |
| 2004 | ECAI | Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. | Franco Raimondi, Alessio Lomuscio |
| 2000 | JELIA | Multi-agent VSK Logic. | Michael J. Wooldridge, Alessio Lomuscio |
| 1998 | ECAI | Ideal Agents Sharing (some!) Knowledge. | Alessio Lomuscio, Mark Ryan |