Panagiotis Kouvaros

According to our database, Panagiotis Kouvaros authored at least 29 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract).

Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems.

Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

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

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Verification of Semantic Key Point Detection for Aircraft Pose Estimation.

Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Towards Formal Verification of Neuro-symbolic Multi-agent Systems.

Panagiotis Kouvaros

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Formal verification of neural agents in non-deterministic environments.

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Auton. Agents Multi Agent Syst., 2022

2021

OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.

Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.

Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.

Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Formal Verification of Open Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Formal Verification of CNN-based Perception Systems.

Panagiotis Kouvaros, Alessio Lomuscio

CoRR, 2018

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Formal Verification of a Programmable Hypersurface.

Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Verifying Fault-tolerance in Parameterised Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parameterised Verification of Data-aware Multi-Agent Systems.

Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Parameterised verification for multi-agent systems.

Panagiotis Kouvaros, Alessio Lomuscio

Artif. Intell., 2016

Parameterised Model Checking for Alternating-Time Temporal Logic.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Formal Verification of Opinion Formation in Swarms.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Verifying Security Properties in Unbounded Multiagent Systems.

Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Parameterised verification for multi-agent systems.

Panagiotis Kouvaros

PhD thesis, 2015

Verifying Emergent Properties of Swarms.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Counter Abstraction Technique for the Verification of Robot Swarms.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013

Automatic Verification of Parameterised Interleaved Multi-Agent Systems

Panagiotis Kouvaros, Alessio Lomuscio

CoRR, 2013

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the IJCAI 2013, 2013

Automatic verification of parameterised multi-agent systems.

Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013