Panagiotis Kouvaros

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 25

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy (2023)
Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR (2023)
Panagiotis Kouvaros
Towards Formal Verification of Neuro-symbolic Multi-agent Systems. IJCAI (2023)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI (2021)
Panagiotis Kouvaros, Alessio Lomuscio
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI (2021)
Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM (2021)
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM (2021)
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS (2020)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
Formal Verification of Open Multi-Agent Systems. AAMAS (2019)
Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of CNN-based Perception Systems. CoRR (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. CoRR (2018)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. FMICS (2018)
Panagiotis Kouvaros, Alessio Lomuscio
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI (2017)
Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI (2017)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI (2017)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised verification for multi-agent systems. Artif. Intell. 234 (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI (2016)
Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Security Properties in Unbounded Multiagent Systems. AAMAS (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Opinion Formation in Swarms. AAMAS (2016)
Panagiotis Kouvaros, Alessio Lomuscio
Verifying Emergent Properties of Swarms. IJCAI (2015)
Panagiotis Kouvaros, Alessio Lomuscio
A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI (2015)
Panagiotis Kouvaros, Alessio Lomuscio
Automatic Verification of Parameterised Interleaved Multi-Agent Systems CoRR (2013)
Panagiotis Kouvaros, Alessio Lomuscio
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI (2013)
Panagiotis Kouvaros, Alessio Lomuscio
Automatic verification of parameterised multi-agent systems. AAMAS (2013)

Panagiotis Kouvaros.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Panagiotis Kouvaros