Panagiotis Kouvaros

Cited by

	All	Since 2020
Citations	823	625
h-index	16	12
i10-index	20	15

200

100

150

2014201520162017201820192020202120222023202420256 27 29 46 43 44 54 101 125 184 148 9

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
Michael E. AkintundeCity St George's, University of LondonVerified email at kcl.ac.uk
Edoardo PirovanoSoftware Engineer, LaceworkVerified email at lacework.net
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 EdwardsMassachusetts Institute of TechnologyVerified email at mit.edu
Patrick HenriksenImperial College LondonVerified email at ic.ac.uk

Panagiotis Kouvaros

Safe Intelligence & University of Limassol

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	184	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	50	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	47	2021
Formal verification of cnn-based perception systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1811.11373, 2018	44	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	43	2021
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio	43	2020
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
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
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	24	2021
Verifying Fault-tolerance in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio	23	2017
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