Panagiotis Kouvaros
Panagiotis Kouvaros
Adresse e-mail validée de imperial.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Parameterised verification for multi-agent systems
P Kouvaros, A Lomuscio
Artificial Intelligence 234, 152-189, 2016
462016
Automatic verification of parameterised interleaved multi-agent systems
P Kouvaros, A Lomuscio
arXiv preprint arXiv:1301.6431, 2013
442013
Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
372020
A cutoff technique for the verification of parameterised interpreted systems with parameterised environments
P Kouvaros, A Lomuscio
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
332013
Verifying emergent properties of swarms
P Kouvaros, A Lomuscio
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
242015
A counter abstraction technique for the verification of robot swarms
P Kouvaros, A Lomuscio
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
242015
Formal verification of cnn-based perception systems
P Kouvaros, A Lomuscio
arXiv preprint arXiv:1811.11373, 2018
212018
Formal verification of open multi-agent systems
P Kouvaros, A Lomuscio, E Pirovano, H Punchihewa
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
192019
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio
162017
Formal verification of opinion formation in swarms
P Kouvaros, A Lomuscio
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
162016
Verifying security properties in unbounded multiagent systems
I Boureanu, P Kouvaros, A Lomuscio
Proceedings of the 2016 international conference on autonomous agents …, 2016
152016
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems.
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
112018
Formal verification of a programmable hypersurface
P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
International Workshop on Formal Methods for Industrial Critical Systems, 83-97, 2018
92018
Parameterised verification of infinite state multi-agent systems via predicate abstraction
P Kouvaros, A Lomuscio
Thirty-First AAAI Conference on Artificial Intelligence, 2017
92017
Formal Verification of Neural Agents in Non-deterministic Environments
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
Proceedings of the 2020 international conference on autonomous agents …, 2020
82020
Parameterised Verification of Data-aware Multi-agent Systems
F Belardinelli, P Kouvaros, A Lomuscio
82017
Parameterised model checking for alternating-time temporal logic
P Kouvaros, A Lomuscio
Proceedings of the Twenty-second European Conference on Artificial …, 2016
42016
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
32020
Efficient neural network verification via layer-based semidefinite relaxations and linear cuts
B Batten, P Kouvaros, A Lomuscio, Y Zheng
30th International Joint Conference on Artificial Intelligence (IJCAI-21 …, 2021
12021
Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching
P Kouvaros, A Lomuscio
30th International Joint Conference on Artificial Intelligence, 2021
12021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20