Proceedings

Alessio Lomuscio

Department of Computing , Imperial College London , UK

22 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

IJCAI 2015

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
with Francesco Belardinelli, Davide Grossi
Details PDF
Verifying Emergent Properties of Swarms
with Panagiotis Kouvaros
Details PDF

IJCAI 2013

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
with Panagiotis Kouvaros
Details PDF
An Epistemic Halpern-Shoham Logic
with Jakub Michaliszyn
Details PDF
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
with Francesco Belardinelli
Details PDF

IJCAI 2011

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
with Francesco Belardinelli, Fabio Patrizi
doi:10.5591/978-1-57735-516-8/IJCAI11-130
Details PDF
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle
with Jonathan Ezekiel, Levente Molnar, Sandor M. Veres
doi:10.5591/978-1-57735-516-8/IJCAI11-279
Details PDF

IJCAI 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
with Mika Cohen, Mads Dam, Hongyang Qu
Details PDF

IJCAI 2007

Automatic Verification of Knowledge and Time with NuSMV
with Charles Pecheur, Franco Raimondi
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards