← Authors

Alessio Lomuscio

31 papers · 2013–2025 · 6 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird πŸ—ΊοΈ Taxonomy Completionist (33) πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌈 Renaissance Researcher (7) 🌍 Conference Polyglot (6) πŸƒ Academic Marathon (12) 🐝 Cross-Pollinator (6) 🀝 Dynamic Duo (10) πŸ”¬ Deep Specialist (11) 🧬 Topic Evolution πŸ† Keyword Champion (10) πŸ—ƒοΈ Keyword Collector (88) πŸ”₯ Unstoppable (9) πŸ’Ž Century Club (31) πŸš€ Conference Pioneer

Conferences

IJCAI (17) AAAI (10) AISTATS (1) CVPR (1) ICLR (1) UAI (1)

Top co-authors

Panagiotis Kouvaros (10) Francesco Belardinelli (8) Sasha Rubin (4) Aniello Murano (4) Edoardo Pirovano (4) Yang Zheng (3) Benedikt BrΓΌckner (3) Jianglin Lan (3) Patrick Henriksen (3) Ben Batten (2)

Keywords

neural network verification (12) formal verification (10) model checking (10) multi-agent system (9) semidefinite programming (3) fault tolerance (3) temporal-epistemic logic (3) relu neural network (3) adversarial robustness (3) swarm robotics (3) symbolic interval propagation (3) semidefinite relaxation (2) alternating-time temporal logic (2) epistemic logic (2) game theory (2) imperfect information (2) relu network (2) certified robustness (2) robustness verification (2) linear temporal logic (2)

Papers

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification AAAI 2025
Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels AAAI 2025
Learning Robust XGBoost Ensembles for Regression Tasks UAI 2025
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024
Expressive Losses for Verified Robustness via Convex Combinations ICLR 2024
Robust Training of Neural Networks against Bias Field Perturbations AAAI 2023
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification AAAI 2023
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification AAAI 2023
Efficient Verification of Neural Networks Against LVM-Based Specifications CVPR 2023
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022
Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts IJCAI 2021
Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020
Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020
Verifying Fault-Tolerance in Probabilistic Swarm Systems IJCAI 2020
Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017
Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017
Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017
Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017
Verifying Emergent Properties of Swarms IJCAI 2015
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems IJCAI 2015
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments IJCAI 2013
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems IJCAI 2013