Panagiotis Kouvaros

Cited by

	All	Since 2019
Citations	792	635
h-index	16	14
i10-index	20	18

180

135

2013201420152016201720182019202020212022202320242 6 27 29 46 43 44 54 101 124 169 136

Public access

View all

20 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Elena BotoevaUniversity of KentVerified email at kent.ac.uk
Yang ZhengAssistant Professor, UC San DiegoVerified email at eng.ucsd.edu
Edoardo PirovanoSoftware Engineer, LaceworkVerified email at lacework.net
Michael E. AkintundeCity St George's, University of LondonVerified email at kcl.ac.uk
Ruth MisenerImperial College LondonVerified email at imperial.ac.uk
Jan KronqvistKTH Royal Institute of Technology, Assistant Professor in Optimization and Systems TheoryVerified email at kth.se
Ben BattenImperial College LondonVerified email at imperial.ac.uk
Francesco LeofanteImperial College Research Fellow, Imperial College LondonVerified email at imperial.ac.uk
Trent KyonoFacebook; University of California, Los AngelesVerified email at ucla.edu
Ioana BoureanuProfessor, University of SurreyVerified email at surrey.ac.uk
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Andreas PitsillidesUniversity of Cyprus, Department of Computer Science (Emeritus)&Univ. of Johannesburg (Visiting)Verified email at ucy.ac.cy
Anna PhilippouUniversity of CyprusVerified email at ucy.ac.cy
Dimitrios KouzapasResearch Associate University of CyprusVerified email at cs.ucy.ac.cy
Julius GeorgiouUniversity of CyprusVerified email at ucy.ac.cy
Loukas PetrouPost-Doctoral Researcher, Department of Electrical and Computer Engineering, University of CyprusVerified email at ucy.ac.cy
Vahid HashemiAUDI AGVerified email at audi.de
Blake EdwardsBoeing Research & TechnologyVerified email at mit.edu
Patrick HenriksenImperial College LondonVerified email at ic.ac.uk

Panagiotis Kouvaros

University of Limassol & Safe Intelligence

Verified email at uol.ac.cy - Homepage

Safe Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	178	2020
Parameterised verification for multi-agent systems P Kouvaros, A Lomuscio Artificial Intelligence 234, 152-189, 2016	65	2016
Formal Verification of Neural Agents in Non-deterministic Environments ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Autonomous Agents and Multi-Agent Systems 36 (1), 1-36, 2022	47	2022
Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching P Kouvaros, A Lomuscio 30th International Joint Conference on Artificial Intelligence, 2021	44	2021
Formal verification of cnn-based perception systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1811.11373, 2018	43	2018
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. B Batten, P Kouvaros, A Lomuscio, Y Zheng IJCAI, 2184-2190, 2021	41	2021
Automatic verification of parameterised interleaved multi-agent systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1301.6431, 2013	41	2013
Verifying emergent properties of swarms P Kouvaros, A Lomuscio Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	36	2015
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	36	2015
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio	32	2020
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. P Kouvaros, A Lomuscio IJCAI, 2013-2019, 2013	32	2013
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	31	2019
Verifying Fault-tolerance in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio	23	2017
Formal analysis of neural network-based systems in the aircraft domain P Kouvaros, T Kyono, F Leofante, A Lomuscio, D Margineantu, ... Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021	22	2021
Formal verification of opinion formation in swarms P Kouvaros, A Lomuscio Proceedings of the 2016 International Conference on Autonomous Agents …, 2016	22	2016
Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016	21	2016
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018	16	2018
Parameterised verification of infinite state multi-agent systems via predicate abstraction P Kouvaros, A Lomuscio Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	15	2017
Parameterised Verification of Data-aware Multi-agent Systems F Belardinelli, P Kouvaros, A Lomuscio	14	2017
Formal verification of a programmable hypersurface P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides Formal Methods for Industrial Critical Systems: 23rd International …, 2018	11	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors