Alessio Lomuscio

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 75

Top Venues

AAMAS

IJCAI

AAAI

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS (2024)
Thomas Walker, Alessio Lomuscio
Tightening the Evaluation of PAC Bounds Using Formal Verification Results. CoRR (2024)
Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR (2024)
Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. ICLR (2024)
Jianglin Lan, Yang Zheng, Alessio Lomuscio
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI (2023)
Francesco Leofante, Alessio Lomuscio
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS (2023)
Harleen Hanspal, Alessio Lomuscio
Efficient Verification of Neural Networks Against LVM-Based Specifications. CVPR (2023)
Francesco Leofante, Patrick Henriksen, Alessio Lomuscio
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN (2023)
Mehran Hosseini, Alessio Lomuscio
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. AAMAS (2023)
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy (2023)
Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR (2023)
Jianglin Lan, Benedikt Brückner, Alessio Lomuscio
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI (2023)
Patrick Henriksen, Alessio Lomuscio
Robust Training of Neural Networks against Bias Field Perturbations. AAAI (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. CoRR (2023)
Francesco Leofante, Alessio Lomuscio
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS (2023)
Patrick Henriksen, Francesco Leofante, Alessio Lomuscio
Repairing misclassifications in neural networks using limited data. SAC (2022)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73 (2022)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Jianglin Lan, Yang Zheng, Alessio Lomuscio
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI (2022)
Alessio Lomuscio, Edoardo Pirovano
A counter abstraction technique for verifying properties of probabilistic swarm systems. Artif. Intell. 305 (2022)
Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI (2021)
Panagiotis Kouvaros, Alessio Lomuscio
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI (2021)
Yi-Ling Liu, Alessio Lomuscio
Robustness Learning via Decision Tree Search Robust Optimisation. BMVC (2021)
Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM (2021)
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI (2021)
Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio
Bias Field Robustness Verification of Large Neural Image Classifiers. BMVC (2021)
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM (2021)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR (2021)
Patrick Henriksen, Alessio Lomuscio
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. IJCAI (2021)
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI (2020)
Alessio Lomuscio, Edoardo Pirovano
Verifying Fault-Tolerance in Probabilistic Swarm Systems. IJCAI (2020)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI (2020)
Alessio Lomuscio, Edoardo Pirovano
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR (2020)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285 (2020)
Yi-Ling Liu, Alessio Lomuscio
MRobust: A Method for Robustness against Adversarial Attacks on Deep Neural Networks. IJCNN (2020)
Francesco Belardinelli, Alessio Lomuscio, Emily Yu
Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS (2020)
Ioana Baldini, Clark W. Barrett, Antonio Chella, Carlos Cinelli, David Gamez, Leilani H. Gilpin, Knut Hinkelmann, Dylan Holmes, Takashi Kido, Murat Kocaoglu, William F. Lawless, Alessio Lomuscio, Jamie C. Macbeth, Andreas Martin, Ranjeev Mittu, Evan Patterson, Donald Sofge, Prasad Tadepalli, Keiki Takadama, Shomir Wilson
Reports of the AAAI 2019 Spring Symposium Series. AI Mag. 40 (3) (2019)
Yi-Ling Liu, Alessio Lomuscio
An MCTS-based Adversarial Training Method for Image Recognition. IJCNN (2019)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI (2019)
Alessio Lomuscio, Edoardo Pirovano
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. AAMAS (2019)
Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano
Verification of RNN-Based Neural Agent-Environment Systems. AAAI (2019)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
Formal Verification of Open Multi-Agent Systems. AAMAS (2019)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA (2019)
Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of CNN-based Perception Systems. CoRR (2018)
Jeremy Kong, Alessio Lomuscio
Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. AAMAS (2018)
Fabio Grandi, Martin Lange, Alessio Lomuscio
22nd International Symposium on Temporal Representation and Reasoning (TIME 2015). Inf. Comput. 259 (3) (2018)
Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
Reachability Analysis for Neural Agent-Environment Systems. KR (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Alternating-time Temporal Logic on Finite Traces. IJCAI (2018)
Alessio Lomuscio, Edoardo Pirovano
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. IJCAI (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS (2018)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
Approximating Perfect Recall When Model Checking Strategic Abilities. KR (2018)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261 (2018)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI (2018)
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Jeremy Kong, Alessio Lomuscio
Model Checking Multi-Agent Systems against LDLK Specifications. IJCAI (2017)
Panagiotis Kouvaros, Alessio Lomuscio
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI (2017)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI (2017)
Jeremy Kong, Alessio Lomuscio
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. AAMAS (2017)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS (2017)
Alessio Lomuscio, Lalit Maganti
An approach to reachability analysis for feed-forward ReLU neural networks. CoRR (2017)
Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI (2017)
Francesco Belardinelli, Alessio Lomuscio
Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS (2017)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI (2017)
Francesco Belardinelli, Alessio Lomuscio
Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI (2016)
Alessio Lomuscio
Advances in Verification of Multi-agent Systems. WADT (2016)
Alessio Lomuscio, Jakub Michaliszyn
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. KR (2016)
Alessio Lomuscio, Jakub Michaliszyn
Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications. AAMAS (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised verification for multi-agent systems. Artif. Intell. 234 (2016)
Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI (2016)
Francesco Belardinelli, Alessio Lomuscio
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA (2016)
Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Security Properties in Unbounded Multiagent Systems. AAMAS (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Opinion Formation in Swarms. AAMAS (2016)
Alessio Lomuscio, Jakub Michaliszyn
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. AAMAS (2015)
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI (2015)
Petr Cermák, Alessio Lomuscio, Aniello Murano
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI (2015)
Alessio Lomuscio, Hugo Paquet
Verification of Multi-Agent Systems via SDD-based Model Checking. AAMAS (2015)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC (2015)
Panagiotis Kouvaros, Alessio Lomuscio
Verifying Emergent Properties of Swarms. IJCAI (2015)
Panagiotis Kouvaros, Alessio Lomuscio
A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI (2015)
Alessio Lomuscio, Jakub Michaliszyn
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions. CoRR (2015)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR (2014)
Alessio Lomuscio, Jakub Michaliszyn
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. KR (2014)
Francesco Belardinelli, Alessio Lomuscio
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR (2014)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV (2014)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. 51 (2014)
Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
Tutorials. KR (2014)
Alessio Lomuscio, Jakub Michaliszyn
Model Checking Unbounded Artifact-Centric Systems. KR (2014)
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Verification of Agent-Based Artifact Systems CoRR (2013)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops (2013)
Panagiotis Kouvaros, Alessio Lomuscio
Automatic Verification of Parameterised Interleaved Multi-Agent Systems CoRR (2013)
Francesco Belardinelli, Alessio Lomuscio
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI (2013)
Andreas Griesmayer, Alessio Lomuscio
Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE (2013)
Panagiotis Kouvaros, Alessio Lomuscio
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI (2013)
Alessio Lomuscio, Jakub Michaliszyn
An Epistemic Halpern-Shoham Logic. IJCAI (2013)
Panagiotis Kouvaros, Alessio Lomuscio
Automatic verification of parameterised multi-agent systems. AAMAS (2013)
Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). Dagstuhl Reports 3 (4) (2013)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24 (4) (2013)

Alessio Lomuscio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessio Lomuscio