Publications
Journals
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
Conference
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