Alessio Lomuscio
31 papers · 2013–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (12) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (6) π£ Hot Topic Early Bird
π
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
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