Panagiotis Kouvaros
12 papers
· 2013–2025
· 3 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(18)
π
Cross-Pollinator
(11)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
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)