König, Matthias

10 publications

AAAI 2025 Dynamic Algorithm Termination for Branch-and-Bound-Based Neural Network Verification Konstantin Kaulen, Matthias König, Holger H. Hoos

AAAI 2024 Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing Matthias König, Holger H. Hoos, Jan N. van Rijn

ECML-PKDD 2024 Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

JMLR 2024 Critically Assessing the State of the Art in Neural Network Verification Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

IJCAI 2024 Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes Giovanni Buraglio, Wolfgang Dvorák, Matthias König, Markus Ulbricht

JAIR 2024 Principles and Their Computational Consequences for Argumentation Frameworks with Collective Attacks Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran

AAAI 2024 Redefining ABA+ Semantics via Abstract Set-to-Set Attacks Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran

MLJ 2022 Speeding up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio Matthias König, Holger H. Hoos, Jan N. van Rijn

AAAI 2022 Tractable Abstract Argumentation via Backdoor-Treewidth Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran

ECML-PKDD 2021 Hyper-Parameter Optimization for Latent Spaces Bruno Veloso, Luciano Caroprese, Matthias König, Sónia Teixeira, Giuseppe Manco, Holger H. Hoos, João Gama