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 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

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 001 (ARCH, 2023)

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. - Tobias Ladner; Matthias Althoff (HSCC, 2023)

Specification-Driven Neural Network Reduction for Scalable Formal Verification. - Tobias Ladner; Matthias Althoff (CoRR, 2023)

Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. - Tobias Ladner; Matthias Althoff (AAAI, 2024)

End-To-End Set-Based Training for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. - Manuel Wendl; Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

Formally Verifying Analog Neural Networks with Device Mismatch Variations. - Yasmine Abu-Haeyeh; Thomas Bartelsmeier; Tobias Ladner; Matthias Althoff; Lars Hedrich; Markus Olbrich (DATE, 2025)

Set-Based Training for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Fully Automatic Neural Network Reduction for Formal Verification. - Tobias Ladner; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. - Tobias Ladner; Michael Eichelbeck; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Language Models That Walk the Talk: A Framework for Formal Fairness Certificates. - Danqing Chen; Tobias Ladner; Ahmed Rayen Mhadhbi; Matthias Althoff (CoRR, 2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. - Shahaf Bassan; Yizhak Yisrael Elboher; Tobias Ladner; Matthias Althoff; Guy Katz (CoRR, 2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks. - Yizhak Yisrael Elboher; Omri Isac; Guy Katz; Tobias Ladner; Haoze Wu 001 (CoRR, 2025)