Matthias König
6 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(18)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (4)
IJCAI (1)
JMLR (1)
Top co-authors
Keywords
neural network verification
(3)
abstract argumentation
(3)
robustness verification
(2)
adversarial robustness
(2)
formal verification
(2)
decision boundary
(1)
robust accuracy
(1)
relu network
(1)
formal argumentation
(1)
fixed-parameter tractability
(1)
argumentation framework
(1)
assumption-based argumentation
(1)
defeasible reasoning
(1)
algorithmic complexity
(1)
input perturbation
(1)
reasoning task
(1)
neural network
(1)
set-to-set attack
(1)
preference semantics
(1)
running time prediction
(1)