Panagiotis Kouvaros
12 papers · 2013–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Academic Marathon (12) π Conference Polyglot (3) π Cross-Pollinator (11)
π
Conference Polyglot
(3)
π
Academic Marathon
(12)
π£
Hot Topic Early Bird
π€
Dynamic Duo
(10)
π
Conference Pioneer
π
Century Club
(12)
Conferences
IJCAI (9)
AAAI (2)
UAI (1)
Top co-authors
Keywords
multi-agent system
(5)
neural network verification
(4)
model checking
(3)
formal verification
(3)
temporal-epistemic logic
(3)
fault tolerance
(2)
relu neural network
(2)
parameterised system
(2)
parameterised verification
(2)
swarm robotics
(2)
robot swarm
(1)
symbolic synthesis
(1)
relu activation
(1)
semidefinite relaxation
(1)
branch and bound
(1)
dependency analysis
(1)
milp solver
(1)
neural network
(1)
bound propagation
(1)
relu network
(1)
Papers
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
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
IJCAI 2017
Parameterised Verification of Data-aware 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