Automatic verification of parameterised multi-agent systems. - Panagiotis Kouvaros; Alessio Lomuscio (AAMAS, 2013)

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. - Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2013)

Automatic Verification of Parameterised Interleaved Multi-Agent Systems - Panagiotis Kouvaros; Alessio Lomuscio (CoRR, 2013)

A Counter Abstraction Technique for the Verification of Robot Swarms. - Panagiotis Kouvaros; Alessio Lomuscio (AAAI, 2015)

Verifying Emergent Properties of Swarms. - Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2015)

Parameterised verification for multi-agent systems. - Panagiotis Kouvaros (2015)

Verifying Security Properties in Unbounded Multiagent Systems. - Ioana Boureanu; Panagiotis Kouvaros; Alessio Lomuscio (AAMAS, 2016)

Formal Verification of Opinion Formation in Swarms. - Panagiotis Kouvaros; Alessio Lomuscio (AAMAS, 2016)

Parameterised Model Checking for Alternating-Time Temporal Logic. - Panagiotis Kouvaros; Alessio Lomuscio (ECAI, 2016)

Parameterised verification for multi-agent systems. - Panagiotis Kouvaros; Alessio Lomuscio (Artif. Intell., 2016)

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

Parameterised Verification of Data-aware Multi-Agent Systems. - Francesco Belardinelli; Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2017)

Verifying Fault-tolerance in Parameterised Multi-Agent Systems. - Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2017)

Formal Verification of a Programmable Hypersurface. - Panagiotis Kouvaros; Dimitrios Kouzapas; Anna Philippou; Julius Georgiou; Loukas Petrou; Andreas Pitsillides (FMICS, 2018)

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

Formal Verification of CNN-based Perception Systems. - Panagiotis Kouvaros; Alessio Lomuscio (CoRR, 2018)

Formal Verification of Open Multi-Agent Systems. - Panagiotis Kouvaros; Alessio Lomuscio; Edoardo Pirovano; Hashan Punchihewa (AAMAS, 2019)

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

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. - Michael E. Akintunde; Elena Botoeva; Panagiotis Kouvaros; Alessio Lomuscio (KR, 2020)

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. - Panagiotis Kouvaros; Trent Kyono; Francesco Leofante; Alessio Lomuscio; Dragos D. Margineantu; Denis Osipychev; Yang Zheng 001 (FM, 2021)

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. - Ben Batten; Panagiotis Kouvaros; Alessio Lomuscio; Yang Zheng 001 (IJCAI, 2021)

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. - Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2021)

OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. - Vahid Hashemi; Panagiotis Kouvaros; Alessio Lomuscio (SEFM, 2021)

Formal verification of neural agents in non-deterministic environments. - Michael E. Akintunde; Elena Botoeva; Panagiotis Kouvaros; Alessio Lomuscio (Auton. Agents Multi Agent Syst., 2022)

Towards Formal Verification of Neuro-symbolic Multi-agent Systems. - Panagiotis Kouvaros (IJCAI, 2023)

Verification of Semantic Key Point Detection for Aircraft Pose Estimation. - Panagiotis Kouvaros; Francesco Leofante; Blake Edwards; Calvin Chung; Dragos D. Margineantu; Alessio Lomuscio (KR, 2023)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. - Ben Batten; Yang Zheng 001; Alessandro De Palma; Panagiotis Kouvaros; Alessio Lomuscio (ECAI, 2024)

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (IJCAI, 2024)

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract). - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (LNSAI@IJCAI, 2024)

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

Learning Robust XGBoost Ensembles for Regression Tasks. - Atri Vivek Sharma; Panagiotis Kouvaros; Alessio Lomuscio (UAI, 2025)