Proceedings

Panagiotis Kouvaros

Technology and Innovation School , University of Limassol

9 papers in the IJCAI proceedings

IJCAI 2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
with Elena Botoeva, Cosmo De Bonis-Campbell
doi:10.24963/ijcai.2024/12
Details PDF

IJCAI 2023

Towards Formal Verification of Neuro-symbolic Multi-agent Systems
doi:10.24963/ijcai.2023/800
Details PDF

IJCAI 2021

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts
with Ben Batten, Alessio Lomuscio, Yang Zheng
doi:10.24963/ijcai.2021/301
Details PDF
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching
with Alessio Lomuscio
doi:10.24963/ijcai.2021/364
Details PDF

IJCAI 2018

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
with Alessio Lomuscio, Edoardo Pirovano
doi:10.24963/ijcai.2018/45
Details PDF

IJCAI 2017

Parameterised Verification of Data-aware Multi-Agent Systems
with Francesco Belardinelli, Alessio Lomuscio
doi:10.24963/ijcai.2017/15
Details PDF
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
with Alessio Lomuscio
doi:10.24963/ijcai.2017/41
Details PDF

IJCAI 2015

Verifying Emergent Properties of Swarms
with Alessio Lomuscio
Details PDF

IJCAI 2013

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
with Alessio Lomuscio
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards