Panagiotis Kouvaros

Identifiers

• name variant Panagiotis Kouvaros 0.60 · backfill

Papers (4)

1. Lipschitz Optimization for Formal Verification of Homographies cs.CV · 2026 · author #2
2. Formal Verification of CNN-based Perception Systems cs.LG · 2018 · author #1
3. Formal Verification of a Programmable Hypersurface cs.NI · 2018 · author #1
4. Automatic Verification of Parameterised Interleaved Multi-Agent Systems cs.MA · 2013 · author #1

Mentions

• 1301.6431 #1 · backfill · confidence 0.70 Panagiotis Kouvaros
• 2605.23203 #2 · arxiv_oai · confidence 0.70 Panagiotis Kouvaros

Frequent Coauthors

• Alessio Lomuscio 3 shared papers
• Andreas Pitsillides 1 shared papers
• Anna Philippou 1 shared papers
• Dimitris Kouzapas 1 shared papers
• Jean-Guillaume Durand 1 shared papers
• Julius Georgiou 1 shared papers
• Loukas Petrou 1 shared papers
• Maxime Gariel 1 shared papers