Panagiotis Kouvaros
13 papers · 2013–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🗺️ Taxonomy Completionist (21) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🧬 Topic Evolution
🤝
Dynamic Duo
(11)
🗃️
Keyword Collector
(52)
🚀
Conference Pioneer
💎
Century Club · Bronze
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(7)
Optimization & Theory · Machine Learning
(6)
Deep Learning
(3)
Architectures
(2)
Learning Types
(2)
Optimization & Theory · Deep Learning
(2)
Computer Vision
(1)
Knowledge & Reasoning
(1)
Reinforcement Learning
(1)
Analysis
(1)
Application Areas
(1)
Applications
(1)
Core Methods
(1)
Keywords
multi-agent system
(5)
formal verification
(4)
neural network verification
(4)
temporal-epistemic logic
(3)
model checking
(3)
parameterised verification
(2)
fault tolerance
(2)
relu neural network
(2)
parameterised system
(2)
adversarial robustness
(2)
swarm robotics
(2)
relu network
(1)
mixed integer programming
(1)
tree-based model
(1)
camera pose
(1)
gradient boosting
(1)
autonomous driving
(1)
symbolic synthesis
(1)
regression task
(1)
projective geometry
(1)
Papers
Lipschitz Optimization for Formal Verification of Homographies
CVPR 2026
Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
AAAI 2025
Learning Robust XGBoost Ensembles for Regression Tasks
UAI 2025
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
IJCAI 2024
Towards Formal Verification of Neuro-symbolic Multi-agent Systems
IJCAI 2023
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts
IJCAI 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching
IJCAI 2021
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis
AAAI 2020
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
IJCAI 2018
Parameterised Verification of Data-aware Multi-Agent Systems
IJCAI 2017
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
IJCAI 2017
Verifying Emergent Properties of Swarms
IJCAI 2015
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments
IJCAI 2013