Tobias Ladner

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Graph Structure

Top Venues

Publications

Tobias Ladner, Matthias Althoff
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. AAAI (2024)
Lukas Koller, Tobias Ladner, Matthias Althoff
End-To-End Set-Based Training for Neural Network Verification. CoRR (2024)
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. CoRR (2024)
Tobias Ladner, Matthias Althoff
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. HSCC (2023)
Tobias Ladner, Matthias Althoff
Specification-Driven Neural Network Reduction for Scalable Formal Verification. CoRR (2023)
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2023)
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP (2022)