Panagiotis Kouvaros

Department of Computing , Imperial College London , UK

7 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

Future Conferences

AI Journal Division

IJCAI Proceedings