2024
- Set-Based Training for Neural Network Verification. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Fully Automatic Neural Network Reduction for Formal Verification. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. EPiC Series in Computing, EasyChair, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
2023
- Specification-Driven Neural Network Reduction for Scalable Formal Verification. arxiv, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), ACM, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. EPiC Series in Computing, EasyChair, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
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) (EPiC Series in Computing), EasyChair, 2022 more… BibTeX Full text ( DOI ) Full text (mediaTUM)