Tobias Ladner
Orcid: 0000-0002-4556-8308
According to our database1,
Tobias Ladner
authored at least 7 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
CoRR, 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
CoRR, 2023
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.
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.
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.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022