Kouvaros, Panagiotis

15 publications

AAAI 2025 Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio

UAI 2025 Learning Robust XGBoost Ensembles for Regression Tasks Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio

NeurIPS 2025 Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2024 Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

IJCAI 2023 Towards Formal Verification of Neuro-Symbolic Multi-Agent Systems Panagiotis Kouvaros

IJCAI 2021 Efficient Neural Network Verification via Layer-Based Semidefinite Relaxations and Linear Cuts Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng

IJCAI 2021 Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-Based Branching Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2020 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

IJCAI 2018 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2017 Parameterised Verification of Data-Aware Multi-Agent Systems Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2017 Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2017 Verifying Fault-Tolerance in Parameterised Multi-Agent Systems Panagiotis Kouvaros, Alessio Lomuscio

AAAI 2015 A Counter Abstraction Technique for the Verification of Robot Swarms Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2015 Verifying Emergent Properties of Swarms Panagiotis Kouvaros, Alessio Lomuscio

IJCAI 2013 A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments Panagiotis Kouvaros, Alessio Lomuscio