Imperial College London

Dr Panagiotis Kouvaros

Faculty of EngineeringDepartment of Computing

Research Fellow in Verification of Autonomous Systems



p.kouvaros Website




Huxley BuildingSouth Kensington Campus






Lomuscio AR, kouvaros, 2016, Parameterised verification for multi-agent systems, Artificial Intelligence, Vol:234, ISSN:1872-7921, Pages:152-189

Kouvaros P, Lomuscio A, 2013, Automatic verification of parameterised interleaved multi-agent systems, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, Aamas 2013, Vol:2, Pages:861-868


Lomuscio AR, Kouvaros P, Verifying Emergent Properties of Swarms, Twenty-Fourth International Conference on Artificial Intelligence (IJCAI15), AAAI Press, Pages:1083-1089

Lomuscio AR, Kouvaros P, 2015, A counter abstraction technique for the verification of robot swarms., Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI15), AAAI, Pages:2081-2088

Kouvaros P, Lomuscio A, 2013, A cutoff technique for the verification of parameterised interpreted systems with parameterised environments, Twenty-Third Joint Conference on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence, Pages:2013-2019, ISSN:1045-0823

More Publications