Alessio Lomuscio

Department of Computing , Imperial College London , UK

13 papers in the IJCAI proceedings

IJCAI 2021

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis

with Patrick Henriksen

doi:10.24963/ijcai.2021/351

Details PDF

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts

with Ben Batten, Panagiotis Kouvaros, Yang Zheng

doi:10.24963/ijcai.2021/301

Details PDF

Reasoning About Agents That May Know Other Agents’ Strategies

with Francesco Belardinelli, Sophia Knight, Bastien Maubert, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2021/246

Details PDF

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching

with Panagiotis Kouvaros

doi:10.24963/ijcai.2021/364

Details PDF

IJCAI 2020

Synthesizing strategies under expected and exceptional environment behaviors

with Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2020/232

Details PDF

Verifying Fault-Tolerance in Probabilistic Swarm Systems

with Edoardo Pirovano

doi:10.24963/ijcai.2020/46

Details PDF

IJCAI 2018

Alternating-time Temporal Logic on Finite Traces

with Francesco Belardinelli, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2018/11

Details PDF

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems

with Panagiotis Kouvaros, Edoardo Pirovano

doi:10.24963/ijcai.2018/45

Details PDF

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems

with Edoardo Pirovano

doi:10.24963/ijcai.2018/56

Details PDF

IJCAI 2017

Model Checking Multi-Agent Systems against LDLK Specifications

with Jeremy Kong

doi:10.24963/ijcai.2017/158

Details PDF

Parameterised Verification of Data-aware Multi-Agent Systems

with Francesco Belardinelli, Panagiotis Kouvaros

doi:10.24963/ijcai.2017/15

Details PDF

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

with Francesco Belardinelli, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2017/14

Details PDF

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

with Panagiotis Kouvaros

doi:10.24963/ijcai.2017/41

Details PDF