Alessio Lomuscio
32 papers · 2013–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🗺️ Taxonomy Completionist (37) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird
🔬
Deep Specialist
(11)
🤝
Dynamic Duo
(11)
🏆
Keyword Champion
(11)
🧭
Keyword Pioneer
🚀
Conference Pioneer
🗃️
Keyword Collector
(100)
🔥
Unstoppable · Silver
💎
Century Club · Bronze
🌈
Renaissance Researcher
(6)
Top co-authors
Research topics
Artificial Intelligence
(22)
Core AI
(22)
Machine Learning
(16)
Optimization & Theory · Machine Learning
(14)
Deep Learning
(11)
Knowledge & Reasoning
(7)
Architectures
(7)
Reasoning
(7)
Optimization & Theory · Deep Learning
(6)
Learning Types
(3)
Mathematics & Optimization
(2)
Application Areas
(2)
Core Methods
(2)
Optimization
(2)
Techniques
(2)
Keywords
neural network verification
(12)
formal verification
(11)
model checking
(10)
multi-agent system
(9)
adversarial robustness
(5)
temporal-epistemic logic
(4)
semidefinite programming
(3)
relu neural network
(3)
fault tolerance
(3)
swarm robotics
(3)
symbolic interval propagation
(3)
game theory
(2)
linear temporal logic
(2)
alternating-time temporal logic
(2)
epistemic logic
(2)
imperfect information
(2)
certified robustness
(2)
robustness guarantee
(2)
relu network
(2)
interval bound propagation
(2)
Papers
Lipschitz Optimization for Formal Verification of Homographies
CVPR 2026
Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
AAAI 2025
Learning Robust XGBoost Ensembles for Regression Tasks
UAI 2025
Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels
AAAI 2025
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
AISTATS 2024
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
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification
AAAI 2023
Robust Training of Neural Networks against Bias Field Perturbations
AAAI 2023
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
AAAI 2022
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
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
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis
AAAI 2020
Model Checking Temporal Epistemic Logic under Bounded Recall
AAAI 2020
Synthesizing strategies under expected and exceptional environment behaviors
IJCAI 2020
Verifying Fault-Tolerance in Probabilistic Swarm Systems
IJCAI 2020
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information
AAAI 2019
Verification of RNN-Based Neural Agent-Environment Systems
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
Model Checking Multi-Agent Systems against LDLK Specifications
IJCAI 2017
Parameterised Verification of Data-aware Multi-Agent Systems
IJCAI 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
IJCAI 2017
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
IJCAI 2017
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
IJCAI 2015
Verifying Emergent Properties of Swarms
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