Panagiotis Kouvaros
Panagiotis Kouvaros
Geverifieerd e-mailadres voor imperial.ac.uk - Homepage
TitelGeciteerd doorJaar
Automatic verification of parameterised interleaved multi-agent systems
P Kouvaros, A Lomuscio
arXiv preprint arXiv:1301.6431, 2013
382013
Parameterised verification for multi-agent systems
P Kouvaros, A Lomuscio
Artificial Intelligence 234, 152-189, 2016
322016
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
312013
Verifying emergent properties of swarms
P Kouvaros, A Lomuscio
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
222015
A counter abstraction technique for the verification of robot swarms
P Kouvaros, A Lomuscio
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
222015
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio
122017
Formal verification of opinion formation in swarms
P Kouvaros, A Lomuscio
Proceedings of the 2016 International Conference on Autonomous Agentsá…, 2016
122016
Verifying security properties in unbounded multiagent systems
I Boureanu, P Kouvaros, A Lomuscio
Proceedings of the 2016 international conference on autonomous agentsá…, 2016
112016
Formal verification of CNN-based perception systems
P Kouvaros, A Lomuscio
arXiv preprint arXiv:1811.11373, 2018
82018
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems.
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
82018
Automatic verification of parametrised interleaved multi-agent systems
P Kouvaros, A Lomuscio
Proc. AAMAS13, St. Paul MN, 2013
52013
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
42018
Parameterised verification of infinite state multi-agent systems via predicate abstraction
P Kouvaros, A Lomuscio
Thirty-First AAAI Conference on Artificial Intelligence, 2017
42017
Parameterised Verification of Data-aware Multi-agent Systems
F Belardinelli, P Kouvaros, A Lomuscio
42017
Parameterised model checking for alternating-time temporal logic
P Kouvaros, A Lomuscio
Proceedings of the Twenty-second European Conference on Artificialá…, 2016
32016
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
12019
Towards the formal verification of correctness and robustness of robot swarms (Invited talk)
P Kouvaros, A Lomuscio
2017
Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Towards the formal verification of robotic swarms
A Lomuscio, P Kouvaros, E Pirovano
Towards verifying neural autonomous systems
M Akitunde, A Kevorchian, P Kouvaros, A Lomuscio, L Maganti, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20