| 2025 | AAAI | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. | Panagiotis Kouvaros, Benedikt Brckner, Patrick Henriksen, Alessio Lomuscio |
| 2025 | UAI | Learning Robust XGBoost Ensembles for Regression Tasks. | Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2024 | ECAI | Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. | Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2024 | IJCAI | Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. | Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell |
| 2023 | IJCAI | Towards Formal Verification of Neuro-symbolic Multi-agent Systems. | Panagiotis Kouvaros |
| 2023 | KR | Verification of Semantic Key Point Detection for Aircraft Pose Estimation. | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio |
| 2023 | NeSy | Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. | Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | FM | 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 |
| 2021 | IJCAI | Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. | Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng |
| 2021 | IJCAI | Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | SEFM | OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. | Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | AAAI | Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. | Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener |
| 2020 | KR | Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2018 | FMICS | Formal Verification of a Programmable Hypersurface. | Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
| 2018 | IJCAI | Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. | Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano |
| 2017 | AAAI | Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2017 | IJCAI | Parameterised Verification of Data-aware Multi-Agent Systems. | Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio |
| 2017 | IJCAI | Verifying Fault-tolerance in Parameterised Multi-Agent Systems. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2016 | ECAI | Parameterised Model Checking for Alternating-Time Temporal Logic. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2015 | AAAI | A Counter Abstraction Technique for the Verification of Robot Swarms. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2015 | IJCAI | Verifying Emergent Properties of Swarms. | Panagiotis Kouvaros, Alessio Lomuscio |
| 2013 | IJCAI | A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. | Panagiotis Kouvaros, Alessio Lomuscio |