Tobias Ladner

According to our database, Tobias Ladner authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.

Tobias Ladner, Michael Eichelbeck, Matthias Althoff

CoRR, 2024

End-To-End Set-Based Training for Neural Network Verification.

Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, 2024

Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.

Tobias Ladner, Matthias Althoff

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Specification-Driven Neural Network Reduction for Scalable Formal Verification.

Tobias Ladner, Matthias Althoff

CoRR, 2023

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.

Tobias Ladner, Matthias Althoff

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022