About

Panagiotis Kouvaros
I am a Researcher working within the Department of Computing, Imperial College London. My research concerns the logic-based verification of learning-enabled cyber-physical systems for the purposes of the DARPA Assured Autonomy Program.

Previously I worked on the formal verification of the communication protocols driving the H2020 FET project VISORSURF.

Before that I was a Research Fellow at the Department of Computing, Imperial College London, where I put forward parameterised verification techniques for robot swarms.

Prior to that I was a PhD student at the same department where I developed parameterised verification techniques for multiagent systems.

Research

I am interested in trusted Artificial Intelligence. To enable trust I develop formal methods to assess the safety and robustness of autonomous systems.

Typically autonomous systems are driven by learning-enabled components whose model of behaviour is extrapolated from a set of data instantiating the correct action to be taken given the state of the environment. Part of my research builds procedures to analyse the correctness of said components on previously unseen states of the environment.
Often autonomous systems are composed of (arbitrarily large) groups of agents that interact between them and their environment to either achieve a global objective or realise a personal goal. Part of my work aims at analysing the temporal and epistemic evolution of the agents with the development of (parameterised) model checking techniques. Additionally it targets the identification of emergent behaviours the systems may display.

Publications

2019

Formal Verification of Open Multi-Agent Systems. Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa. Proceedings of the 18th International Conference Autonomous Agents and Multi-Agent Systems (AAMAS19), To Appear.

2018

Formal Verification of a Programmable Hypersurface. Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julio Georgiou, Andreas Pitsillides. Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS18), p. 83-97. Springer.
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI18), p. 324-330. AAAI Press.

2017

Towards the Formal Verification of Correctness and Robustness of Robot Swarms (Invited Talk). Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic (ICTCS17).
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI17), p.288-294. AAAI Press.
Parameterised Verification of Data-aware Multi-agent Systems. Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI17), p. 98-104. AAAI Press.
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI17), p. 3013-3020. AAAI Press.

2016

Parameterised Model Checking for Alternating-Time Temporal Logic. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI16), p. 1230-1238. IOS Press.
Parameterised Verification for Multi-Agent Systems. Panagiotis Kouvaros. PhD Thesis. Imperial College London.
Formal Verification of Opinion Formation in Swarms. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), p. 1200-1209. IFAAMAS Press.
Verifying Security Properties in Unbounded Multi-Agent Systems. Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), p.1209-1218. IFAAMAS Press.
Parameterised Verification for Multi-Agent Systems. Panagiotis Kouvaros, Alessio Lomuscio. Artificial Intelligence, 234, p. 152-189. Elsevier.

2015

Verifying Emergent Properties of Swarms.Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI15), p. 1083-1089 AAAI Press.
A Counter Abstraction Technique for the Verification of Robot Swarms. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI15), p. 2081-2088. AAAI Press.

2013

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 23th International Joint Conference on Artificial Intelligence (IJCAI13), p. 2013-2019. AAAI Press.
Automatic Verification of Parameterised Interleaved Multi-Agent Systems. Panagiotis Kouvaros, Alessio Lomuscio. Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS13), p. 861-868. IFAAMAS Press.

Software

MCMAS-P

MCMAS-P Input Language
MCMAS-P is a model checker for the verification of multi-agent systems composed of arbitrarily many agents.

It takes as input multi-agent systems described in Parameterised Interleaved Interpreted Systems (PIIS) and implements cutoff and abstraction techniques to solve their parameterised verification problem.

The base procedure is an incomplete counter abstraction methodology. Given the procedure is in exponential space, MCMAS-P additionally implements more effective cutoff-based methods for a number of fragments of PIIS.

MCMAS-P is available for download from here.

Service

  • PC Member, AAMAS 2019, 18th International Conference on Autonomous Agents and Multiagent Systems.
  • PC Member, AAAI 2019, 33rd AAAI Conference on Artificial Intelligence.
  • PC Member, AAMAS 2018, 17th International Conference on Autonomous Agents and Multiagent Systems.
  • PC Member, AAAI 2018, 32rd AAAI Conference on Artificial Intelligence.
  • PC Member, IJCAI 2017, 26th International Joint Conference on Artificial Intelligence.
  • PC Member, AAAI 2017, 31rd AAAI Conference on Artificial Intelligence.
  • PC Member, ECAI 2016, 22nd European Conference on Artificial Intelligence.

Teaching

  • Lecturer, Data Structures and Algorithms, Department of Electrical and Computer Engineering, University of Cyprus, 2017-2018.
  • Lecturer, Computer Science and Information Systems, Department of Computer Science, University of Cyprus, 2017-2018.
  • Guest Lecturer, Systems Verification, Department of Computing, Imperial College London, 2016-2017.